rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

137×	times-frac_binary64
124×	*-un-lft-identity_binary64
120×	add-sqr-sqrt_binary64
64×	add-cube-cbrt_binary64
28×	distribute-lft-out_binary64
21×	div-inv_binary64
18×	difference-of-squares_binary64
13×	associate-/l*_binary64
11×	pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×	swap-sqr_binary64
8×	add-log-exp_binary64 flip3--_binary64 distribute-lft-out--_binary64 flip--_binary64
7×	associate-*r*_binary64 associate-*l*_binary64
5×	associate-/r*_binary64
4×	sub-neg_binary64 frac-times_binary64
3×	cbrt-undiv_binary64 div-exp_binary64
2×	diff-log_binary64 associate-*r/_binary64 associate-/r/_binary64 associate-*l/_binary64
1×	pow-prod-down_binary64 flip3-+_binary64 associate-/l/_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-plus_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 pow-sqr_binary64 flip-+_binary64 pow2_binary64 *-commutative_binary64

Counts

4 → 179

Calls

4 calls:

12.0ms	(/.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)))))
24.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
26.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))