rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

54×	times-frac_binary64_8952 *-un-lft-identity_binary64_8957
32×	add-sqr-sqrt_binary64_8942
28×	add-cube-cbrt_binary64_8928
20×	add-exp-log_binary64_8921 add-cbrt-cube_binary64_8929
14×	associate-/r/_binary64_9022 flip3-+_binary64_8955 flip-+_binary64_8982
12×	distribute-lft-out_binary64_9001
10×	associate-/l*_binary64_9021
9×	associate-/l/_binary64_9023
8×	frac-times_binary64_8949
7×	div-exp_binary64_8906 associate-/r*_binary64_9020 cbrt-undiv_binary64_8927 div-inv_binary64_8958
6×	flip3--_binary64_8956 pow1_binary64_8899 add-log-exp_binary64_8922 flip--_binary64_8983
5×	associate-*r*_binary64_9016
4×	associate-*l*_binary64_9017 associate-*l/_binary64_9019 associate-*r/_binary64_9018
3×	cbrt-unprod_binary64_8926 prod-exp_binary64_8904
2×	sub-neg_binary64_8961 frac-2neg_binary64_8950 clear-num_binary64_8960
1×	sum-log_binary64_8867 distribute-rgt-in_binary64_9000 distribute-lft-in_binary64_8999 distribute-lft-out--_binary64_9002 difference-of-squares_binary64_8986 +-commutative_binary64_9024 unswap-sqr_binary64_8985 *-commutative_binary64_9025 pow-prod-down_binary64_8880

Counts

4 → 142

Calls

4 calls:

11.0ms	(*.f64 (+.f64 alpha beta) (-.f64 beta alpha))
27.0ms	(/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
43.0ms	(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
19.0ms	(/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))