rewrite263.0ms

Algorithm

rewrite-expression-head

Rules

142×	associate-*l/_binary64_4352
102×	flip--_binary64_4316 flip3--_binary64_4289
68×	frac-times_binary64_4282
66×	sqrt-div_binary64_4270
64×	frac-add_binary64_4280
44×	pow1_binary64_4232
34×	associate-*r/_binary64_4351
17×	pow-prod-down_binary64_4213
16×	add-cbrt-cube_binary64_4262 add-exp-log_binary64_4254
8×	prod-exp_binary64_4237 cbrt-unprod_binary64_4259
6×	add-sqr-sqrt_binary64_4275
5×	add-cube-cbrt_binary64_4261 *-un-lft-identity_binary64_4290
4×	pow-prod-up_binary64_4212 pow-sqr_binary64_4323 add-log-exp_binary64_4255
3×	sqrt-prod_binary64_4269
2×	pow-plus_binary64_4227
1×	pow1/2_binary64_4222 *-commutative_binary64_4358 associate-*r*_binary64_4349 flip-+_binary64_4315 flip3-+_binary64_4288 rem-sqrt-square_binary64_4278 associate-*l*_binary64_4350 swap-sqr_binary64_4317 sqrt-pow1_binary64_4271 pow2_binary64_4223

Counts

4 → 135

Calls

4 calls:

17.0ms	(*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
6.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
6.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
214.0ms	(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))