rewrite259.0ms

Algorithm

rewrite-expression-head

Rules

30×	pow1_binary64_2437
27×	add-exp-log_binary64_2459 add-cbrt-cube_binary64_2467
21×	add-sqr-sqrt_binary64_2480
17×	associate-*l*_binary64_2555
16×	*-un-lft-identity_binary64_2495 pow-prod-down_binary64_2418
14×	add-cube-cbrt_binary64_2466
13×	cbrt-unprod_binary64_2464 associate-*r/_binary64_2556 prod-exp_binary64_2442
10×	times-frac_binary64_2490
9×	associate-*r*_binary64_2554
6×	distribute-rgt-in_binary64_2538 sub-neg_binary64_2499 distribute-lft-in_binary64_2537
4×	add-log-exp_binary64_2460 frac-times_binary64_2487 flip--_binary64_2521 sqrt-pow1_binary64_2476 flip3--_binary64_2494
3×	*-commutative_binary64_2563
2×	associate-*l/_binary64_2557 div-exp_binary64_2444 unswap-sqr_binary64_2523 flip-+_binary64_2520 flip3-+_binary64_2493 cbrt-undiv_binary64_2465 sqrt-div_binary64_2475
1×	pow1/2_binary64_2427 distribute-lft-out--_binary64_2540 sqrt-prod_binary64_2474 difference-of-squares_binary64_2524 div-inv_binary64_2496

Counts

4 → 109

Calls

4 calls:

12.0ms	(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*)))
12.0ms	(*.f64 (/.f64 l Om) (-.f64 U U*))
15.0ms	(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*)))))))
215.0ms	(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (-.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U U*))))))))