rewrite115.0ms

Algorithm

rewrite-expression-head

Rules

72×	add-sqr-sqrt_binary64
34×	*-un-lft-identity_binary64
27×	times-frac_binary64
18×	difference-of-squares_binary64
16×	add-cube-cbrt_binary64
12×	pow1_binary64
10×	add-exp-log_binary64
9×	swap-sqr_binary64
8×	add-log-exp_binary64 flip3--_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64 flip--_binary64
7×	associate-*r*_binary64 associate-*l*_binary64
4×	sub-neg_binary64 frac-times_binary64
3×	associate-/r*_binary64 associate-/l*_binary64
2×	diff-log_binary64 associate-*r/_binary64 associate-/r/_binary64 div-exp_binary64 associate-*l/_binary64
1×	pow-prod-down_binary64 flip3-+_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 1-exp_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-plus_binary64 unswap-sqr_binary64 clear-num_binary64 inv-pow_binary64 prod-exp_binary64 frac-2neg_binary64 rec-exp_binary64 div-inv_binary64 pow-sqr_binary64 pow-flip_binary64 flip-+_binary64 pow2_binary64 *-commutative_binary64

Counts

4 → 112

Calls

4 calls:

5.0ms	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
55.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
26.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
24.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))