rewrite343.0ms

Algorithm

rewrite-expression-head

Rules

72×	add-sqr-sqrt_binary64_4135
34×	*-un-lft-identity_binary64_4150
27×	times-frac_binary64_4145
18×	difference-of-squares_binary64_4179
16×	add-cube-cbrt_binary64_4121
12×	pow1_binary64_4092
10×	add-exp-log_binary64_4114
9×	swap-sqr_binary64_4177
8×	distribute-lft-out--_binary64_4195 add-cbrt-cube_binary64_4122 flip--_binary64_4176 flip3--_binary64_4149 add-log-exp_binary64_4115
7×	associate-*l*_binary64_4210 associate-*r*_binary64_4209
4×	sub-neg_binary64_4154 frac-times_binary64_4142
3×	associate-/r*_binary64_4213 associate-/l*_binary64_4214
2×	diff-log_binary64_4061 associate-/r/_binary64_4215 associate-*l/_binary64_4212 div-exp_binary64_4099 associate-*r/_binary64_4211
1×	pow2_binary64_4083 distribute-rgt-in_binary64_4193 cbrt-unprod_binary64_4119 prod-exp_binary64_4097 pow-flip_binary64_4076 1-exp_binary64_4110 unswap-sqr_binary64_4178 rec-exp_binary64_4098 clear-num_binary64_4153 inv-pow_binary64_4068 div-inv_binary64_4151 *-commutative_binary64_4218 distribute-lft-in_binary64_4192 cbrt-undiv_binary64_4120 pow-prod-up_binary64_4072 flip3-+_binary64_4148 pow-prod-down_binary64_4073 pow-plus_binary64_4087 pow-sqr_binary64_4183 flip-+_binary64_4175 frac-2neg_binary64_4143

Counts

4 → 112

Calls

4 calls:

7.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)))))))
74.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
35.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
221.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))