Details

analyze2.0s (14.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0.8%	98.9%	0.3%	13
1.2%	98.5%	0.3%	14

Compiler

Compiled 38 to 31 computations (18.4% saved)

sample38.0ms (0.3%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
2.0ms	24×	body	128	invalid

Compiler

Compiled 75 to 67 computations (10.7% saved)

simplify287.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4971	55
1	4971	55

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 29.2b

Counts

2 → 1

Compiler

Compiled 74 to 60 computations (18.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z)
0.1b	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
2.4b	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
28.1b	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))

rewrite94.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_11694`
15×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
12×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
10×	`pow1_binary64_11733`
9×	`associate-r_binary64_11612` `associate-l_binary64_11613`
5×	`flip-+_binary64_11646` `flip3-+_binary64_11675`
4×	`cbrt-unprod_binary64_11705` `add-log-exp_binary64_11711` `associate-l/_binary64_11615` `associate-r/_binary64_11614` `prod-exp_binary64_11721`
3×	`associate-/r_binary64_11616` `unswap-sqr_binary64_11640` `times-frac_binary64_11678` `-commutative_binary64_11603` `pow-prod-down_binary64_11743`
2×	`cbrt-undiv_binary64_11706` `associate-/r/_binary64_11618` `div-exp_binary64_11723` `associate-/l/_binary64_11619`
1×	`clear-num_binary64_11671` `distribute-lft-in_binary64_11621` `frac-2neg_binary64_11683` `div-inv_binary64_11669` `distribute-rgt-in_binary64_11622` `associate-/l*_binary64_11617`

Counts

4 → 87

Calls

4 calls:

38.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
20.0ms	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
16.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z)
8.0ms	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)

series1.3s (10%)

Counts

4 → 12

Calls

4 calls:

871.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496))
324.0ms	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
78.0ms	(.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z)
66.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z)

simplify97.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5110	3162

prune253.0ms (1.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	7	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	7	100

Merged error: 0.0b

Counts

100 → 7

Compiler

Compiled 4955 to 3323 computations (32.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
0.2b	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
26.3b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

rewrite108.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_11694`
24×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
21×	`associate-r_binary64_11612`
19×	`times-frac_binary64_11678`
15×	`add-exp-log_binary64_11710` `add-cbrt-cube_binary64_11708`
10×	`pow1_binary64_11733`
9×	`associate-l_binary64_11613`
5×	`flip-+_binary64_11646` `flip3-+_binary64_11675` `associate-*r/_binary64_11614`
4×	`cbrt-unprod_binary64_11705` `associate-/r/_binary64_11618` `add-log-exp_binary64_11711` `unswap-sqr_binary64_11640` `prod-exp_binary64_11721`
3×	`associate-/r_binary64_11616` `-commutative_binary64_11603` `pow-prod-down_binary64_11743` `associate-/l*_binary64_11617`
2×	`cbrt-undiv_binary64_11706` `div-exp_binary64_11723` `distribute-lft-in_binary64_11621` `div-inv_binary64_11669` `associate-/l/_binary64_11619` `distribute-rgt-in_binary64_11622`
1×	`clear-num_binary64_11671` `frac-2neg_binary64_11683`

Counts

4 → 109

Calls

4 calls:

34.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
34.0ms	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
16.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
8.0ms	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))

series1.3s (9.7%)

Counts

4 → 12

Calls

4 calls:

853.0ms	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
301.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
80.0ms	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
67.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))

simplify95.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5049	5107

prune305.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	121	7	128

Merged error: 0b

Counts

128 → 7

Compiler

Compiled 6572 to 4419 computations (32.8% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
0.2b	(.f64 y (.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))
26.5b	(.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))

rewrite119.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-exp-log_binary64_11710`
28×	`add-sqr-sqrt_binary64_11694`
22×	`associate-r_binary64_11612` `add-cbrt-cube_binary64_11708`
18×	`*-un-lft-identity_binary64_11672`
17×	`add-cube-cbrt_binary64_11707`
15×	`pow1_binary64_11733` `prod-exp_binary64_11721`
12×	`associate-r/_binary64_11614` `associate-l*_binary64_11613`
11×	`times-frac_binary64_11678`
9×	`cbrt-unprod_binary64_11705`
7×	`flip-+_binary64_11646` `flip3-+_binary64_11675`
6×	`pow-prod-down_binary64_11743`
5×	`unswap-sqr_binary64_11640`
4×	`div-exp_binary64_11723` `add-log-exp_binary64_11711` `frac-times_binary64_11682` `associate-l/_binary64_11615` `-commutative_binary64_11603`
2×	`cbrt-undiv_binary64_11706` `associate-/r/_binary64_11618` `1-exp_binary64_11716` `un-div-inv_binary64_11670` `distribute-lft-in_binary64_11621` `distribute-rgt-in_binary64_11622` `rec-exp_binary64_11722`
1×	`div-inv_binary64_11669`

Counts

4 → 114

Calls

4 calls:

39.0ms	(.f64 y (.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))
38.0ms	(.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
16.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
8.0ms	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))

series1.3s (9.8%)

Counts

4 → 12

Calls

4 calls:

867.0ms	(.f64 y (.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))
290.0ms	(.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (/.f64 1 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))
83.0ms	(.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656))
75.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))

simplify99.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5204	4874

prune326.0ms (2.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	126	7	133

Merged error: 0b

Counts

133 → 7

Compiler

Compiled 6515 to 4405 computations (32.4% saved)

localize34.0ms (0.3%)

Local error

Found 4 expressions with local error:

19.1b	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
19.1b	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
19.1b	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
24.5b	(.f64 (/.f64 y (.f64 (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))) (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))

rewrite152.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_11694`
28×	`times-frac_binary64_11678`
25×	`add-exp-log_binary64_11710`
24×	`associate-r_binary64_11612`
22×	`add-cube-cbrt_binary64_11707` `*-un-lft-identity_binary64_11672`
20×	`cbrt-div_binary64_11704` `cbrt-prod_binary64_11703`
18×	`add-cbrt-cube_binary64_11708`
15×	`associate-l_binary64_11613`
10×	`associate-/r/_binary64_11618` `flip-+_binary64_11646` `flip3-+_binary64_11675`
8×	`cbrt-unprod_binary64_11705` `prod-exp_binary64_11721`
7×	`cbrt-undiv_binary64_11706` `div-exp_binary64_11723`
6×	`pow1_binary64_11733` `unswap-sqr_binary64_11640`
5×	`frac-times_binary64_11682`
4×	`add-log-exp_binary64_11711`
3×	`associate-l/_binary64_11615` `associate-r/_binary64_11614` `pow1/3_binary64_11754`
2×	`div-inv_binary64_11669`
1×	`*-commutative_binary64_11603` `pow-prod-down_binary64_11743`

Counts

4 → 108

Calls

4 calls:

76.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))) (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))
19.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
15.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
15.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

series1.1s (8.1%)

Counts

4 → 12

Calls

4 calls:

899.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))) (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))
64.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
60.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
59.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

simplify119.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5369	8371

prune602.0ms (4.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	120	7	127

Merged error: 0b

Counts

127 → 7

Compiler

Compiled 10260 to 7312 computations (28.7% saved)

regimes1.3s (9.3%)

Compiler: Compiled 12564 to 9958 computations (20.7% saved)

bsearch129.0ms (1%)

Steps

Iters	Range		Point
10	14925626608.491705	6.746065145372454e+21	9.525108520779359e+20
9	-4.515027698146164e+68	-2.5085877547792227e+59	-3.052303199733959e+59

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	91
1	70	91

end0.0ms (0%)

sample2.2s (16.5%)

Algorithm

1×

intervals

Results

741.0ms	8000×	body	128	valid
72.0ms	818×	body	128	invalid

Compiler

Compiled 1729 to 1360 computations (21.3% saved)

Details

analyze2.0s (14.7%)

sample38.0ms (0.3%)

simplify287.0ms (2.1%)

prune4.0ms (0%)

localize25.0ms (0.2%)

rewrite94.0ms (0.7%)

series1.3s (10%)

simplify97.0ms (0.7%)

prune253.0ms (1.9%)

localize25.0ms (0.2%)

rewrite108.0ms (0.8%)

series1.3s (9.7%)

simplify95.0ms (0.7%)

prune305.0ms (2.3%)

localize28.0ms (0.2%)

rewrite119.0ms (0.9%)

series1.3s (9.8%)

simplify99.0ms (0.7%)

prune326.0ms (2.4%)

localize34.0ms (0.3%)

rewrite152.0ms (1.1%)

series1.1s (8.1%)

simplify119.0ms (0.9%)

prune602.0ms (4.5%)

regimes1.3s (9.3%)

bsearch129.0ms (1%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.2s (16.5%)

Profiling