rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

119×	add-exp-log_binary64_8921
76×	prod-exp_binary64_8904
75×	add-cbrt-cube_binary64_8929
48×	associate-*l*_binary64_9017
46×	add-sqr-sqrt_binary64_8942
44×	cbrt-unprod_binary64_8926
40×	times-frac_binary64_8952
36×	pow1_binary64_8899
35×	*-un-lft-identity_binary64_8957
33×	add-cube-cbrt_binary64_8928
22×	pow-prod-down_binary64_8880
15×	associate-*l/_binary64_9019 div-exp_binary64_8906
14×	sqrt-prod_binary64_8936
12×	frac-add_binary64_8947
9×	cbrt-undiv_binary64_8927
6×	1-exp_binary64_8917 flip3-+_binary64_8955 rec-exp_binary64_8905 flip-+_binary64_8982 frac-times_binary64_8949 associate-*r/_binary64_9018
5×	associate-*r*_binary64_9016 unswap-sqr_binary64_8985
4×	add-log-exp_binary64_8922
3×	*-commutative_binary64_9025 div-inv_binary64_8958
1×	sqrt-pow1_binary64_8938 distribute-rgt-in_binary64_9000 rem-sqrt-square_binary64_8945 distribute-lft-in_binary64_8999 pow1/2_binary64_8889

Counts

4 → 169

Calls

4 calls:

38.0ms	(*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
34.0ms	(*.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
15.0ms	(*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
2.0ms	(sqrt.f64 PI.f64)