rewrite219.0ms

Algorithm

rewrite-expression-head

Rules

20×	*-un-lft-identity_binary64_12875 add-sqr-sqrt_binary64_12860 add-cube-cbrt_binary64_12846
18×	times-frac_binary64_12870
12×	add-exp-log_binary64_12839
8×	add-cbrt-cube_binary64_12847 add-log-exp_binary64_12840
6×	associate-/l*_binary64_12939 pow1_binary64_12817 associate-/r*_binary64_12938
4×	associate-/r/_binary64_12940 div-exp_binary64_12824
3×	flip3-+_binary64_12873 flip-+_binary64_12900
2×	frac-2neg_binary64_12868 pow-flip_binary64_12801 cbrt-undiv_binary64_12845 associate-+r+_binary64_12926 1-exp_binary64_12835 clear-num_binary64_12878 div-inv_binary64_12876 rec-exp_binary64_12823 inv-pow_binary64_12793
1×	flip--_binary64_12901 diff-log_binary64_12786 sub-neg_binary64_12879 +-commutative_binary64_12942 sum-log_binary64_12785 distribute-lft-in_binary64_12917 distribute-rgt-in_binary64_12918 flip3--_binary64_12874

Counts

4 → 90

Calls

4 calls:

7.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
7.0ms	(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms	(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
198.0ms	(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))