64   PetscScalar t22, t23, t24, t25, t26, t28, t29, t30, t31, t32;  in SolKxSolution()  local
131   t22  = t1 * Rp;  in SolKxSolution()
163 …t22 - t24) * AA - t32) * t35 + (0.2e1 * t37 * (t1 - t13 + 0.5e1 * t15 - t18) * AA - 0.8e1 * B * BB…  in SolKxSolution()
342   t22  = exp(-0.2e1 * Rp);  in SolKxSolution()
343 … + ((0.8e1 * t1 + 0.8e1 * t4) * t2 * t15 - 0.8e1 * t5 - 0.8e1 * t2 * t4) * t22 - 0.4e1 * t3 + 0.4e…  in SolKxSolution()
365   t22 = exp(-0.2e1 * x * B);  in SolKxSolution()
366   t23 = B * t22;  in SolKxSolution()
370 …4 * t3 * Rm - 0.2e1 * t23 * AA * t25 - 0.2e1 * t23 * BB * t29 - t22 * AA * t29 * kn + t22 * BB * t…  in SolKxSolution()
411   t22 = sin(t18);  in SolKxSolution()
418 …t44 = t5 * t8 + t5 * t11 + t5 * t13 + t5 * t15 + t4 * AA * t19 + t4 * BB * t22 + t25 * t8 + t25 * …  in SolKxSolution()
424 … * AA * t19 + 0.4e1 * t62 * BB * t22 + 0.4e1 * B * AA * t22 * kn - 0.4e1 * B * BB * t19 * kn - AA …  in SolKxSolution()