rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

86×	times-frac_binary64_7157
66×	associate-/r/_binary64_7227 flip3-+_binary64_7160 flip-+_binary64_7187
61×	add-cbrt-cube_binary64_7134 add-exp-log_binary64_7126
46×	add-sqr-sqrt_binary64_7147
44×	*-un-lft-identity_binary64_7162 frac-times_binary64_7154
34×	associate-*r/_binary64_7223
30×	add-cube-cbrt_binary64_7133
28×	difference-of-squares_binary64_7191
22×	cbrt-unprod_binary64_7131 associate-*l/_binary64_7224 prod-exp_binary64_7109
19×	div-exp_binary64_7111 cbrt-undiv_binary64_7132
16×	pow1_binary64_7104
14×	difference-of-sqr-1_binary64_7192 associate-/l*_binary64_7226
9×	associate-/l/_binary64_7228 div-inv_binary64_7163
7×	associate-/r*_binary64_7225
6×	associate-*r*_binary64_7221
4×	pow-prod-down_binary64_7085 associate-*l*_binary64_7222 add-log-exp_binary64_7127
3×	swap-sqr_binary64_7189
2×	*-commutative_binary64_7230 distribute-rgt-in_binary64_7205 clear-num_binary64_7165 frac-2neg_binary64_7155 distribute-lft-in_binary64_7204
1×	unswap-sqr_binary64_7190 pow-plus_binary64_7099 flip3--_binary64_7161 pow-prod-up_binary64_7084 pow-sqr_binary64_7195 pow2_binary64_7095 flip--_binary64_7188

Counts

4 → 228

Calls

4 calls:

16.0ms	(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
16.0ms	(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
54.0ms	(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
33.0ms	(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))