Details

analyze1.9s (7.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)

sample46.0ms (0.2%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 75 to 67 computations (10.7% saved)

simplify184.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4955	55
1	4955	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

Error

30.0b

Counts

2 → 1

Compiler

Compiled 74 to 60 computations (18.9% saved)

localize32.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328)
0.0b	(+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 z 4288183283079449/281474976710656) z) 4428869650076171/140737488355328) z) 3360836715704971/281474976710656) z) 2737158995491925/4503599627370496)
0.0b	(*.f64 (+.f64 z 4288183283079449/281474976710656) z)
0.0b	(+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z)
2.7b	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
28.5b	(/.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))

rewrite96.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_7261`
15×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
12×	`*-un-lft-identity_binary64_7239` `add-cube-cbrt_binary64_7274`
10×	`pow1_binary64_7300`
9×	`associate-r_binary64_7179` `associate-l_binary64_7180`
5×	`flip-+_binary64_7213` `flip3-+_binary64_7242`
4×	`associate-r/_binary64_7181` `add-log-exp_binary64_7278` `associate-l/_binary64_7182` `cbrt-unprod_binary64_7272` `prod-exp_binary64_7288`
3×	`associate-/r_binary64_7183` `pow-prod-down_binary64_7310` `unswap-sqr_binary64_7207` `-commutative_binary64_7170` `times-frac_binary64_7245`
2×	`associate-/l/_binary64_7186` `associate-/r/_binary64_7185` `cbrt-undiv_binary64_7273` `div-exp_binary64_7290`
1×	`distribute-lft-in_binary64_7188` `distribute-rgt-in_binary64_7189` `frac-2neg_binary64_7250` `associate-/l*_binary64_7184` `div-inv_binary64_7236` `clear-num_binary64_7238`

Counts

4 → 87

Calls

8 calls:

34.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))
21.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)
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)
0.0ms	(+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t)

series3.2s (13%)

Counts

4 → 105

Calls

4 calls:

2.1s	(/.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))
714.0ms	(.f64 y (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z) b))
283.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z) a) z)
182.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656) z) t) z)

Compiler

Compiled 7331 to 6102 computations (16.8% saved)

simplify144.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4960	7500
1	4960	7500

prune674.0ms (2.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	183	9	192
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	184	9	193

Error

0.5b

Counts

193 → 9

Compiler

Compiled 9159 to 5912 computations (35.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 y 7049496828096731/2251799813685248))
0.0b	(+.f64 x (*.f64 y 7049496828096731/2251799813685248))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_7278`
1×	`flip-+_binary64_7213` `flip3-+_binary64_7242` `add-exp-log_binary64_7277` `*-un-lft-identity_binary64_7239` `+-commutative_binary64_7169` `pow1_binary64_7300` `add-cbrt-cube_binary64_7275` `sum-log_binary64_7330` `add-sqr-sqrt_binary64_7261` `add-cube-cbrt_binary64_7274`

Counts

1 → 11

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 y 7049496828096731/2251799813685248))
0.0ms	(+.f64 x (*.f64 y 7049496828096731/2251799813685248))

series57.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

57.0ms

(+.f64 x (*.f64 y 7049496828096731/2251799813685248))

Compiler

Compiled 72 to 150 computations (-108.3% saved)

simplify102.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4833	193
1	4833	193

prune33.0ms (0.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	22	10	32

Error

0.5b

Counts

32 → 10

Compiler

Compiled 486 to 379 computations (22% saved)

localize27.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 z (+.f64 z 4288183283079449/281474976710656))
0.0b	(+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)
0.0b	(+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)
0.0b	(+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
0.1b	(.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)))
27.4b	(/.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))

rewrite116.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_7261`
24×	`*-un-lft-identity_binary64_7239` `add-cube-cbrt_binary64_7274`
21×	`associate-r_binary64_7179`
19×	`times-frac_binary64_7245`
15×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
10×	`pow1_binary64_7300`
9×	`associate-l_binary64_7180`
5×	`flip-+_binary64_7213` `associate-*r/_binary64_7181` `flip3-+_binary64_7242`
4×	`add-log-exp_binary64_7278` `cbrt-unprod_binary64_7272` `unswap-sqr_binary64_7207` `prod-exp_binary64_7288` `associate-/r/_binary64_7185`
3×	`associate-/r_binary64_7183` `pow-prod-down_binary64_7310` `-commutative_binary64_7170` `associate-/l*_binary64_7184`
2×	`distribute-lft-in_binary64_7188` `distribute-rgt-in_binary64_7189` `associate-/l/_binary64_7186` `div-inv_binary64_7236` `cbrt-undiv_binary64_7273` `div-exp_binary64_7290`
1×	`frac-2neg_binary64_7250` `clear-num_binary64_7238`

Counts

4 → 109

Calls

8 calls:

37.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)))
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))
16.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
13.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))
0.0ms	(+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)

series4.0s (16%)

Counts

4 → 102

Calls

4 calls:

2.0s	(.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)))
1.5s	(/.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))
290.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
176.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))

Compiler

Compiled 8575 to 7216 computations (15.8% saved)

simplify148.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5013	11206

prune620.0ms (2.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	209	2	211
Fresh	3	5	8
Picked	0	1	1
Done	1	0	1
Total	213	8	221

Error

0.0b

Counts

221 → 8

Compiler

Compiled 11459 to 7528 computations (34.3% saved)

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)
0.0b	(+.f64 x (.f64 y (-.f64 (+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))) (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))))
0.0b	(-.f64 (+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z)))) (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z))
0.0b	(+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))
0.8b	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))
3.6b	(.f64 y (-.f64 (+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))) (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)))
5.4b	(+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z))))
6.2b	(/.f64 t (*.f64 z z))

rewrite68.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_7239`
31×	`add-sqr-sqrt_binary64_7261`
26×	`cancel-sign-sub-inv_binary64_7205`
25×	`times-frac_binary64_7245`
24×	`add-cube-cbrt_binary64_7274`
16×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
15×	`distribute-lft-in_binary64_7188` `distribute-rgt-in_binary64_7189`
9×	`add-log-exp_binary64_7278`
8×	`associate-r_binary64_7179`
6×	`associate-r/_binary64_7181` `associate-/l_binary64_7184` `distribute-lft-out_binary64_7190` `pow1_binary64_7300`
4×	`flip-+_binary64_7213` `flip3-+_binary64_7242` `frac-sub_binary64_7248` `div-inv_binary64_7236` `cbrt-undiv_binary64_7273` `div-exp_binary64_7290` `frac-add_binary64_7247`
3×	`cbrt-unprod_binary64_7272` `prod-exp_binary64_7288` `distribute-lft-out--_binary64_7191` `sum-log_binary64_7330` `associate-l_binary64_7180`
2×	`associate-/r*_binary64_7183` `associate--l+_binary64_7176` `frac-2neg_binary64_7250` `difference-of-squares_binary64_7208` `sub-neg_binary64_7232` `clear-num_binary64_7238`
1×	`flip3--_binary64_7243` `pow-prod-down_binary64_7310` `flip--_binary64_7214` `unswap-sqr_binary64_7207` `*-commutative_binary64_7170` `+-commutative_binary64_7169` `associate-+r+_binary64_7171`

Counts

4 → 118

Calls

8 calls:

26.0ms	(.f64 y (-.f64 (+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))) (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)))
14.0ms	(+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z))))
6.0ms	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))
5.0ms	(/.f64 t (*.f64 z z))
0.0ms	(+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))

series685.0ms (2.7%)

Counts

4 → 39

Calls

4 calls:

422.0ms	(.f64 y (-.f64 (+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z)))) (/.f64 23151763167026757919721122556003/633825300114114700748351602688 z)))
168.0ms	(+.f64 (/.f64 t (.f64 z z)) (+.f64 7049496828096731/2251799813685248 (/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (.f64 z z))))
68.0ms	(/.f64 t (*.f64 z z))
27.0ms	(/.f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (*.f64 z z))

Compiler

Compiled 1307 to 1282 computations (1.9% saved)

simplify106.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5044	3312

prune184.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	157	8	165

Error

0.0b

Counts

165 → 8

Compiler

Compiled 4045 to 2068 computations (48.9% saved)

simplify51.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	803	2965
1	803	2965

regimes2.3s (9.1%)

Compiler: Compiled 11934 to 9870 computations (17.3% saved)

bsearch79.0ms (0.3%)

Steps

Iters	Range		Point
9	1.1724814468548628e+52	2.8478419480007103e+57	4.28513717524411e+52
8	-2.6214278461506204e+57	-9.251054659048898e+54	-1.972645790880855e+55

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes1.1s (4.5%)

Compiler: Compiled 3918 to 3690 computations (5.8% saved)

bsearch77.0ms (0.3%)

Steps

Iters	Range		Point
9	1.1724814468548628e+52	2.8478419480007103e+57	1.2520878941470726e+52
8	-2.6214278461506204e+57	-9.251054659048898e+54	-9.935041546175457e+54

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes1.1s (4.2%)

Compiler: Compiled 3474 to 3330 computations (4.1% saved)

bsearch74.0ms (0.3%)

Steps

Iters	Range		Point
9	1.1724814468548628e+52	2.8478419480007103e+57	1.1829201610287449e+52
7	-8.228804976747016e+24	-1.4258941310938892e+23	-2.747869013241253e+23

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes918.0ms (3.7%)

Compiler: Compiled 2670 to 2676 computations (-0.2% saved)

bsearch87.0ms (0.3%)

Steps

Iters	Range		Point
12	0.9251662872747769	1.3366981473921972e+45	2.559393501191686e+28
7	-8.228804976747016e+24	-1.4258941310938892e+23	-1.64953689572183e+23

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes820.0ms (3.3%)

Compiler: Compiled 2310 to 2382 computations (-3.1% saved)

bsearch68.0ms (0.3%)

Steps

Iters	Range		Point
9	1.1724814468548628e+52	2.8478419480007103e+57	1.1829201610287449e+52
7	-8.228804976747016e+24	-1.4258941310938892e+23	-2.473285983861397e+23

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes608.0ms (2.4%)

Compiler: Compiled 1374 to 1584 computations (-15.3% saved)

bsearch48.0ms (0.2%)

Steps

Iters	Range		Point
8	7.616814862925422e-14	2.0979717196736982e-11	2.07494515854585e-11
2	-1.4258941310938892e+23	-1.2403199574952348e+23	-1.2635167291950666e+23

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes403.0ms (1.6%)

Compiler: Compiled 846 to 1104 computations (-30.5% saved)

bsearch50.0ms (0.2%)

Steps

Iters	Range		Point
8	7.616814862925422e-14	2.0979717196736982e-11	2.07494515854585e-11
2	-1.4258941310938892e+23	-1.2403199574952348e+23	-1.2635167291950666e+23

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes375.0ms (1.5%)

Compiler: Compiled 720 to 990 computations (-37.5% saved)

bsearch83.0ms (0.3%)

Steps

Iters	Range		Point
12	0.9251662872747769	1.3366981473921972e+45	11.078438559213609
7	-1078700819016832.6	-32402028651955.027	-32750732957284.72

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes343.0ms (1.4%)

Compiler: Compiled 492 to 780 computations (-58.5% saved)

bsearch81.0ms (0.3%)

Steps

Iters	Range		Point
12	0.9251662872747769	1.3366981473921972e+45	425064.78238506644
7	-1078700819016832.6	-32402028651955.027	-32750732957284.72

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes253.0ms (1%)

Compiler: Compiled 390 to 684 computations (-75.4% saved)

bsearch62.0ms (0.2%)

Steps

Iters	Range		Point
8	7.616814862925422e-14	2.0979717196736982e-11	2.07494515854585e-11
7	-1078700819016832.6	-32402028651955.027	-32750732957284.72

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes89.0ms (0.4%)

Compiler: Compiled 84 to 336 computations (-300% saved)

bsearch62.0ms (0.2%)

Steps

Iters	Range		Point
5	7.288130065820576e-187	1.6541599549178573e-186	1.601854701149166e-186
10	-1.840455758937812e-38	-7.114500546444448e-53	-4.797128407769849e-50

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes129.0ms (0.5%)

Compiler: Compiled 54 to 282 computations (-422.2% saved)

bsearch122.0ms (0.5%)

Steps

Iters	Range		Point
10	6.136921535964052e-69	3.277282825456737e-57	2.3554524843379252e-57
7	-1.7535546743633316e-109	-7.294353457997233e-112	-1.2682687841525074e-111
9	-8.480387756992855e-38	-1.2966686435234033e-44	-7.045035324008308e-39
8	-5.956959232243067e-19	-3.9125905975607837e-22	-1.5330393721440538e-20

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes61.0ms (0.2%)

Compiler: Compiled 36 to 234 computations (-550% saved)

bsearch0.0ms (0%)

regimes55.0ms (0.2%)

Accuracy

Total 0.7b remaining (68%)

Threshold costs 0.7b (68%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch25.0ms (0.1%)

Compiler: Compiled 694 to 513 computations (26.1% saved)

simplify17.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	318	969
1	318	969

end0.0ms (0%)

sample3.0s (12%)

Algorithm

1×

intervals

Results

685.0ms	8000×	body	128	valid
73.0ms	851×	body	128	invalid

Compiler

Compiled 2759 to 2221 computations (19.5% saved)

Pareto

0.5739324242922582

Details

analyze1.9s (7.7%)

sample46.0ms (0.2%)

simplify184.0ms (0.7%)

prune4.0ms (0%)

localize32.0ms (0.1%)

rewrite96.0ms (0.4%)

series3.2s (13%)

simplify144.0ms (0.6%)

prune674.0ms (2.7%)

localize6.0ms (0%)

rewrite4.0ms (0%)

series57.0ms (0.2%)

simplify102.0ms (0.4%)

prune33.0ms (0.1%)

localize27.0ms (0.1%)

rewrite116.0ms (0.5%)

series4.0s (16%)

simplify148.0ms (0.6%)

prune620.0ms (2.5%)

localize14.0ms (0.1%)

rewrite68.0ms (0.3%)

series685.0ms (2.7%)

simplify106.0ms (0.4%)

prune184.0ms (0.7%)

simplify51.0ms (0.2%)

regimes2.3s (9.1%)

bsearch79.0ms (0.3%)

regimes1.1s (4.5%)

bsearch77.0ms (0.3%)

regimes1.1s (4.2%)

bsearch74.0ms (0.3%)

regimes918.0ms (3.7%)

bsearch87.0ms (0.3%)

regimes820.0ms (3.3%)

bsearch68.0ms (0.3%)

regimes608.0ms (2.4%)

bsearch48.0ms (0.2%)

regimes403.0ms (1.6%)

bsearch50.0ms (0.2%)

regimes375.0ms (1.5%)

bsearch83.0ms (0.3%)

regimes343.0ms (1.4%)

bsearch81.0ms (0.3%)

regimes253.0ms (1%)

bsearch62.0ms (0.2%)

regimes89.0ms (0.4%)

bsearch62.0ms (0.2%)

regimes129.0ms (0.5%)

bsearch122.0ms (0.5%)

regimes61.0ms (0.2%)

bsearch0.0ms (0%)

regimes55.0ms (0.2%)

bsearch25.0ms (0.1%)

simplify17.0ms (0.1%)

end0.0ms (0%)

sample3.0s (12%)

Profiling