Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 65 to 53 computations (18.5% saved)

sample37.0ms (0%)

Algorithm

1×

intervals

Results

29.0ms

256×

body

128

valid

Compiler

Compiled 129 to 106 computations (17.8% saved)

simplify154.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5204	79

prune8.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

15.5b

Counts

2 → 2

Compiler

Compiled 166 to 134 computations (19.3% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
15.4b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))

rewrite140.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`*-un-lft-identity_binary64_1442`
28×	`times-frac_binary64_1448`
27×	`add-sqr-sqrt_binary64_1464`
24×	`add-cube-cbrt_binary64_1477`
10×	`cancel-sign-sub-inv_binary64_1408` `distribute-lft-out_binary64_1393`
8×	`add-cbrt-cube_binary64_1478` `associate-/l*_binary64_1387` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480`
6×	`associate-/r*_binary64_1386` `associate-/r/_binary64_1388` `flip3-+_binary64_1445` `flip-+_binary64_1416`
4×	`associate-/l/_binary64_1389` `pow1_binary64_1503`
3×	`div-inv_binary64_1439`
2×	`cbrt-undiv_binary64_1476` `clear-num_binary64_1441` `frac-2neg_binary64_1453` `difference-of-squares_binary64_1411` `associate-*l/_binary64_1385` `div-exp_binary64_1493`
1×	`sum-log_binary64_1533` `sub-neg_binary64_1435` `flip3--_binary64_1446` `+-commutative_binary64_1372` `flip--_binary64_1417` `diff-log_binary64_1534` `distribute-lft-out--_binary64_1394`

Counts

4 → 106

Calls

4 calls:

42.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))
32.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
29.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
13.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

series18.7s (12.5%)

Counts

4 → 15

Calls

4 calls:

17.7s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))
484.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
439.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
118.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))

Compiler

Compiled 8814 to 6835 computations (22.5% saved)

simplify228.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4850	15806
1	4850	15806

prune937.0ms (0.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	114	7	121
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	116	7	123

Error

15.4b

Counts

123 → 7

Compiler

Compiled 13782 to 10333 computations (25% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b	(.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)
0.5b	(-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
15.4b	(+.f64 1 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))

rewrite96.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_1442`
28×	`add-sqr-sqrt_binary64_1464`
25×	`times-frac_binary64_1448`
22×	`add-cube-cbrt_binary64_1477`
20×	`cancel-sign-sub-inv_binary64_1408`
11×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480`
9×	`pow1_binary64_1503`
8×	`add-log-exp_binary64_1481`
7×	`distribute-lft-out_binary64_1393`
4×	`associate-/r/_binary64_1388` `associate-/l*_binary64_1387` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-+r+_binary64_1374`
3×	`associate-r_binary64_1382` `associate-/r*_binary64_1386` `cbrt-unprod_binary64_1475` `sub-neg_binary64_1435` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491`
2×	`associate-/l/_binary64_1389` `div-inv_binary64_1439` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_1392` `difference-of-squares_binary64_1411`
1×	`cbrt-undiv_binary64_1476` `sum-log_binary64_1533` `clear-num_binary64_1441` `flip3--_binary64_1446` `+-commutative_binary64_1372` `associate-l_binary64_1383` `*-commutative_binary64_1373` `flip--_binary64_1417` `frac-2neg_binary64_1453` `diff-log_binary64_1534` `distribute-lft-out--_binary64_1394` `div-exp_binary64_1493` `unswap-sqr_binary64_1410`

Counts

4 → 101

Calls

4 calls:

37.0ms	(-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
29.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
6.0ms	(.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)
4.0ms	(+.f64 1 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))

series20.4s (13.6%)

Counts

4 → 15

Calls

4 calls:

19.4s	(+.f64 1 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
492.0ms	(-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
441.0ms	(/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
37.0ms	(.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)

Compiler

Compiled 8063 to 6196 computations (23.2% saved)

simplify243.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5224	14604

prune1.1s (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	117	6	123

Error

15.4b

Counts

123 → 6

Compiler

Compiled 13918 to 10277 computations (26.2% saved)

localize38.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.5b	(.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -1))
0.9b	(pow.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 3)
14.8b	(+.f64 1 (pow.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 3))

rewrite238.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-cbrt-cube_binary64_1478`
26×	`add-exp-log_binary64_1480`
24×	`*-un-lft-identity_binary64_1442`
19×	`add-sqr-sqrt_binary64_1464`
18×	`cancel-sign-sub-inv_binary64_1408` `frac-times_binary64_1452`
14×	`add-cube-cbrt_binary64_1477`
13×	`times-frac_binary64_1448`
12×	`cbrt-unprod_binary64_1475` `prod-exp_binary64_1491` `pow1_binary64_1503`
10×	`associate-*r/_binary64_1384`
9×	`flip3--_binary64_1446` `flip--_binary64_1417` `associate-*l/_binary64_1385`
8×	`add-log-exp_binary64_1481` `flip3-+_binary64_1445` `flip-+_binary64_1416`
5×	`cube-div_binary64_1471`
4×	`cbrt-undiv_binary64_1476` `pow-exp_binary64_1510` `pow-prod-down_binary64_1513` `rem-cube-cbrt_binary64_1465` `distribute-lft-out_binary64_1393` `div-exp_binary64_1493`
3×	`associate-r_binary64_1382` `pow-unpow_binary64_1519`
2×	`associate-/r/_binary64_1388` `difference-of-squares_binary64_1411` `pow-pow_binary64_1514`
1×	`cube-mult_binary64_1472` `sum-log_binary64_1533` `div-inv_binary64_1439` `sub-neg_binary64_1435` `+-commutative_binary64_1372` `cube-prod_binary64_1470` `associate-l_binary64_1383` `*-commutative_binary64_1373` `diff-log_binary64_1534` `distribute-lft-in_binary64_1391` `sqr-pow_binary64_1414` `unpow3_binary64_1508` `distribute-rgt-in_binary64_1392` `distribute-lft-out--_binary64_1394` `unpow-prod-down_binary64_1521` `pow-to-exp_binary64_1511`

Counts

4 → 116

Calls

4 calls:

91.0ms	(.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -1))
43.0ms	(pow.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 3)
41.0ms	(-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
6.0ms	(+.f64 1 (pow.f64 (.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 x x)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 3))

series1.8min (71.8%)

Compiler: Compiled 1004 to 760 computations (24.3% saved)

Details

analyze3.0ms (0%)

sample37.0ms (0%)

simplify154.0ms (0.1%)

prune8.0ms (0%)

localize19.0ms (0%)

rewrite140.0ms (0.1%)

series18.7s (12.5%)

simplify228.0ms (0.2%)

prune937.0ms (0.6%)

localize24.0ms (0%)

rewrite96.0ms (0.1%)

series20.4s (13.6%)

simplify243.0ms (0.2%)

prune1.1s (0.7%)

localize38.0ms (0%)

rewrite238.0ms (0.2%)

series1.8min (71.8%)

Profiling