rewrite261.0ms

Algorithm

rewrite-expression-head

Rules

28×	add-exp-log_binary64_4254
20×	pow1_binary64_4232
18×	add-cbrt-cube_binary64_4262
15×	*-un-lft-identity_binary64_4290
12×	add-sqr-sqrt_binary64_4275 prod-exp_binary64_4237
11×	add-cube-cbrt_binary64_4261
10×	associate-*r*_binary64_4349
9×	pow-prod-down_binary64_4213 cbrt-unprod_binary64_4259
8×	sqrt-prod_binary64_4269
7×	unpow-prod-down_binary64_4221
4×	pow-exp_binary64_4210 sqrt-div_binary64_4270 add-log-exp_binary64_4255
3×	times-frac_binary64_4285 pow-unpow_binary64_4219 div-exp_binary64_4239
2×	*-commutative_binary64_4358 flip-+_binary64_4315 flip3-+_binary64_4288 distribute-lft-out_binary64_4334 associate-*l*_binary64_4350 associate-*r/_binary64_4351
1×	pow1/2_binary64_4222 pow-pow_binary64_4214 sqr-pow_binary64_4322 pow-to-exp_binary64_4211 rem-sqrt-square_binary64_4278 unpow2_binary64_4229 sqrt-pow1_binary64_4271 div-inv_binary64_4291

Counts

4 → 86

Calls

4 calls:

6.0ms	(*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2)))
9.0ms	(pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
18.0ms	(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
225.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))