Details

analyze2.1s (0.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
5.1%	94.6%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 19 to 19 computations (0% saved)

sample58.0ms (0%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
8.0ms	112×	body	128	nan
3.0ms	46×	body	128	invalid

Compiler

Compiled 40 to 52 computations (-30% saved)

simplify142.0ms (0%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	6100	30

prune3.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

13.3b

Counts

8 → 4

Compiler

Compiled 21 to 21 computations (0% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

5.7b	(/.f64 (.f64 M D) (.f64 2 d))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
1.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
1.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-exp-log_binary64_1821`
38×	`add-sqr-sqrt_binary64_1805`
27×	`prod-exp_binary64_1832`
23×	`add-cbrt-cube_binary64_1819`
19×	`div-exp_binary64_1834` `associate-r_binary64_1723`
17×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
15×	`times-frac_binary64_1789`
13×	`associate-l_binary64_1724`
10×	`unswap-sqr_binary64_1751` `pow-exp_binary64_1851`
7×	`cbrt-unprod_binary64_1816` `unpow-prod-down_binary64_1862` `sqrt-prod_binary64_1799` `pow1_binary64_1844`
5×	`cbrt-undiv_binary64_1817`
4×	`sqrt-div_binary64_1800` `add-log-exp_binary64_1822`
3×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `unpow2_binary64_1848` `div-inv_binary64_1780`
2×	`flip3--_binary64_1787` `*-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852`
1×	`associate-/l_binary64_1728` `pow1/2_binary64_1863` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `sqrt-pow1_binary64_1801` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796`

Counts

4 → 116

Calls

8 calls:

12.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
8.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
4.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series1.5s (0.5%)

Counts

4 → 59

Calls

4 calls:

574.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
561.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
234.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
123.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2580 to 2515 computations (2.5% saved)

simplify94.0ms (0%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4979	3836
1	4979	3836

prune762.0ms (0.3%)

Pruning

70 alts after pruning (70 fresh and 0 done)

	Pruned	Kept	Total
New	107	68	175
Fresh	1	2	3
Picked	0	0	0
Done	1	0	1
Total	109	70	179

Error

3.3b

Counts

179 → 70

Compiler

Compiled 4317 to 2947 computations (31.7% saved)

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
0.3b	(/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
2.1b	(.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
6.1b	(.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))

rewrite111.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

609×	`add-exp-log_binary64_1821`
325×	`prod-exp_binary64_1832`
184×	`div-exp_binary64_1834`
75×	`pow-exp_binary64_1851`
54×	`add-cbrt-cube_binary64_1819`
45×	`associate-r_binary64_1723`
43×	`cbrt-unprod_binary64_1816` `times-frac_binary64_1789`
42×	`add-sqr-sqrt_binary64_1805`
36×	`cbrt-prod_binary64_1814`
33×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
22×	`cbrt-undiv_binary64_1817`
15×	`pow-to-exp_binary64_1852`
11×	`associate-l_binary64_1724`
8×	`unswap-sqr_binary64_1751`
7×	`unpow-prod-down_binary64_1862` `pow1_binary64_1844`
4×	`associate-*r/_binary64_1725` `div-inv_binary64_1780` `add-log-exp_binary64_1822`
3×	`sqr-pow_binary64_1755` `unpow2_binary64_1848` `sqrt-prod_binary64_1799`
2×	`sqrt-div_binary64_1800` `*-commutative_binary64_1714`
1×	`flip3--_binary64_1787` `associate-/l_binary64_1728` `pow1/2_binary64_1863` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `sqrt-pow1_binary64_1801` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796` `flip--_binary64_1758`

Counts

4 → 245

Calls

8 calls:

27.0ms	(.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
17.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))
8.0ms	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series2.3s (0.8%)

Counts

4 → 54

Calls

4 calls:

1.3s	(.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))
642.0ms	(.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
273.0ms	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
124.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3032 to 2820 computations (7% saved)

simplify121.0ms (0%)

Algorithm

1×	egg-herbie

Counts

299 → 299

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4972	8095
1	4972	8095

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

5.7b	(/.f64 (.f64 M D) (.f64 2 d))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))))
1.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
0.9b	(.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
26×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
21×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
19×	`add-sqr-sqrt_binary64_1805`
13×	`add-cube-cbrt_binary64_1818` `-un-lft-identity_binary64_1783` `times-frac_binary64_1789` `associate-r*_binary64_1723`
7×	`pow1_binary64_1844`
5×	`associate-l_binary64_1724`
4×	`div-inv_binary64_1780` `add-log-exp_binary64_1822`
3×	`sqrt-prod_binary64_1799`
2×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `sqrt-div_binary64_1800` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `unswap-sqr_binary64_1751`
1×	`flip3--_binary64_1787` `associate-r/_binary64_1725` `pow1/2_binary64_1863` `associate-l/_binary64_1726` `*-commutative_binary64_1714` `frac-times_binary64_1793` `sqrt-pow1_binary64_1801` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796` `flip--_binary64_1758`

Counts

4 → 109

Calls

8 calls:

17.0ms	(.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))
6.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))

series830.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

347.0ms	(.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))
235.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 h l)))))
125.0ms	(/.f64 (.f64 M D) (.f64 2 d))
123.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2500 to 2258 computations (9.7% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5550	2550

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
0.3b	(.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)))) (sqrt.f64 w0))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))

rewrite52.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-exp-log_binary64_1821`
33×	`add-sqr-sqrt_binary64_1805`
29×	`prod-exp_binary64_1832`
26×	`add-cbrt-cube_binary64_1819`
19×	`associate-l_binary64_1724` `div-exp_binary64_1834`
16×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
15×	`times-frac_binary64_1789`
13×	`pow1_binary64_1844`
11×	`associate-r_binary64_1723`
10×	`pow-exp_binary64_1851`
9×	`cbrt-unprod_binary64_1816`
8×	`unswap-sqr_binary64_1751`
7×	`unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854`
6×	`sqrt-prod_binary64_1799`
5×	`cbrt-undiv_binary64_1817`
4×	`pow1/2_binary64_1863` `sqrt-div_binary64_1800` `sqrt-pow1_binary64_1801` `add-log-exp_binary64_1822`
3×	`sqr-pow_binary64_1755` `unpow2_binary64_1848` `div-inv_binary64_1780` `associate-*l/_binary64_1726`
2×	`flip3--_binary64_1787` `associate-r/_binary64_1725` `sqrt-unprod_binary64_1803` `-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `rem-sqrt-square_binary64_1796`

Counts

4 → 118

Calls

8 calls:

12.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
11.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
4.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series1.4s (0.5%)

Counts

4 → 59

Calls

4 calls:

533.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
512.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
229.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))
119.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2925 to 2699 computations (7.7% saved)

simplify86.0ms (0%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5027	3839

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

1.7b	(.f64 w0 (.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)))))))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.1b	(.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
11.7b	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))

rewrite62.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

126×	`add-exp-log_binary64_1821`
54×	`add-sqr-sqrt_binary64_1805`
52×	`prod-exp_binary64_1832`
38×	`add-cbrt-cube_binary64_1819` `div-exp_binary64_1834`
30×	`times-frac_binary64_1789`
26×	`associate-l_binary64_1724`
22×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
20×	`pow-exp_binary64_1851` `associate-r_binary64_1723`
16×	`unswap-sqr_binary64_1751`
14×	`unpow-prod-down_binary64_1862`
12×	`cbrt-unprod_binary64_1816`
10×	`cbrt-undiv_binary64_1817`
6×	`sqr-pow_binary64_1755` `unpow2_binary64_1848` `div-inv_binary64_1780`
4×	`pow-to-exp_binary64_1852` `add-log-exp_binary64_1822` `pow1_binary64_1844`
2×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l/_binary64_1726` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 154

Calls

8 calls:

16.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
12.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))))

series1.4s (0.5%)

Counts

4 → 48

Calls

4 calls:

561.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
549.0ms	(.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
131.0ms	(/.f64 (.f64 M D) (.f64 2 d))
129.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3792 to 3240 computations (14.6% saved)

simplify77.0ms (0%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5190	3882

prune12.8s (4.2%)

Pruning

267 alts after pruning (265 fresh and 2 done)

	Pruned	Kept	Total
New	622	213	835
Fresh	13	52	65
Picked	0	0	0
Done	3	2	5
Total	638	267	905

Error

2.2b

Counts

905 → 267

Compiler

Compiled 22902 to 13947 computations (39.1% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.2b	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d)))))
4.7b	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
4.7b	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
12×	`add-sqr-sqrt_binary64_1805`
10×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow1_binary64_1844`
6×	`associate-l_binary64_1724` `associate-r_binary64_1723`
4×	`add-log-exp_binary64_1822`
2×	`associate-/l_binary64_1728` `div-inv_binary64_1780` `associate-/r_binary64_1727` `times-frac_binary64_1789` `*-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`

Counts

4 → 78

Calls

8 calls:

6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
4.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
4.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
0.0ms	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d)))))

series680.0ms (0.2%)

Counts

4 → 48

Calls

4 calls:

211.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
202.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
136.0ms	(/.f64 (.f64 M D) (.f64 2 d))
130.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 4080 to 2880 computations (29.4% saved)

simplify95.0ms (0%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5237	2352

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

4.3b	(/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l)
2.6b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l) -1/4)) d))
2.4b	(/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (*.f64 M D) h)) l) -1/4)) d)
0.2b	(.f64 (.f64 M D) (.f64 (.f64 M D) h))
2.6b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l) -1/4)) d))
4.3b	(/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l)
7.2b	(.f64 (.f64 M D) h)
24.8b	(sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (*.f64 M D) h)) l) -1/4))

rewrite52.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
21×	`add-sqr-sqrt_binary64_1805`
20×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
19×	`associate-r_binary64_1723`
16×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `times-frac_binary64_1789`
14×	`pow1_binary64_1844`
8×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
5×	`pow-prod-down_binary64_1854`
4×	`associate-l_binary64_1724` `sqrt-prod_binary64_1799` `add-log-exp_binary64_1822`
3×	`associate-/r*_binary64_1727`
2×	`div-inv_binary64_1780` `*-commutative_binary64_1714` `sqrt-pow1_binary64_1801` `unswap-sqr_binary64_1751`
1×	`associate-r/_binary64_1725` `associate-/l_binary64_1728` `pow1/2_binary64_1863` `associate-*l/_binary64_1726` `sqrt-div_binary64_1800` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 96

Calls

8 calls:

14.0ms	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l) -1/4)) d))
11.0ms	(/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l)
8.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (*.f64 M D) h)) l) -1/4))
5.0ms	(.f64 (.f64 M D) h)
0.0ms	(.f64 (.f64 M D) (.f64 (.f64 M D) h))

series1.3s (0.4%)

Counts

4 → 51

Calls

4 calls:

666.0ms	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l) -1/4)) d))
271.0ms	(/.f64 (.f64 (.f64 M D) (.f64 (.f64 M D) h)) l)
250.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M D) (.f64 (*.f64 M D) h)) l) -1/4))
92.0ms	(.f64 (.f64 M D) h)

Compiler

Compiled 1984 to 1886 computations (4.9% saved)

simplify118.0ms (0%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4983	2666
1	4983	2666

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))) (sqrt.f64 w0)))
0.3b	(.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))) (sqrt.f64 w0))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))) (sqrt.f64 w0)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite56.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-exp-log_binary64_1821`
33×	`add-sqr-sqrt_binary64_1805`
29×	`prod-exp_binary64_1832`
26×	`add-cbrt-cube_binary64_1819`
19×	`div-exp_binary64_1834`
16×	`add-cube-cbrt_binary64_1818` `associate-l_binary64_1724` `*-un-lft-identity_binary64_1783`
15×	`times-frac_binary64_1789`
14×	`associate-r_binary64_1723`
13×	`pow1_binary64_1844`
10×	`pow-exp_binary64_1851`
9×	`cbrt-unprod_binary64_1816`
8×	`unswap-sqr_binary64_1751`
7×	`unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854`
6×	`sqrt-prod_binary64_1799`
5×	`cbrt-undiv_binary64_1817`
4×	`pow1/2_binary64_1863` `sqrt-div_binary64_1800` `sqrt-pow1_binary64_1801` `add-log-exp_binary64_1822`
3×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `unpow2_binary64_1848` `div-inv_binary64_1780`
2×	`flip3--_binary64_1787` `sqrt-unprod_binary64_1803` `associate-l/_binary64_1726` `-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `rem-sqrt-square_binary64_1796`

Counts

4 → 118

Calls

8 calls:

15.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))) (sqrt.f64 w0)))
12.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
7.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series1.5s (0.5%)

Counts

4 → 59

Calls

4 calls:

572.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
532.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))) (sqrt.f64 w0)))
242.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
126.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3117 to 2891 computations (7.3% saved)

simplify93.0ms (0%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4988	3882
1	4988	3882

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(pow.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) 2)
0.3b	(.f64 (sqrt.f64 (-.f64 1 (.f64 (.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) 2)))) (sqrt.f64 w0))
0.2b	(.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
0.1b	(.f64 (.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.4b	(.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))))
20.2b	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
20.2b	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))

rewrite50.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`add-exp-log_binary64_1821`
62×	`add-cbrt-cube_binary64_1819`
34×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
18×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
13×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `associate-l_binary64_1724` `*-un-lft-identity_binary64_1783`
12×	`times-frac_binary64_1789`
10×	`cbrt-prod_binary64_1814`
9×	`pow1_binary64_1844`
6×	`cbrt-div_binary64_1815`
5×	`associate-*r/_binary64_1725` `frac-times_binary64_1793`
4×	`div-inv_binary64_1780` `add-log-exp_binary64_1822`
3×	`associate-*l/_binary64_1726` `pow-prod-down_binary64_1854`
2×	`pow1/3_binary64_1865`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-r*_binary64_1723`

Counts

4 → 104

Calls

8 calls:

19.0ms	(.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
4.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
4.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
0.0ms	(.f64 (.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2))

series2.4s (0.8%)

Counts

4 → 42

Calls

4 calls:

1.5s	(.f64 (/.f64 h l) (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))))
420.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
418.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
136.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3726 to 3060 computations (17.9% saved)

simplify89.0ms (0%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5027	2860

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
0.3b	(/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l)))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
2.1b	(.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
6.1b	(.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))

rewrite465.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

2054×	`add-exp-log_binary64_1821`
1329×	`prod-exp_binary64_1832`
581×	`div-exp_binary64_1834`
369×	`pow-exp_binary64_1851`
117×	`pow-to-exp_binary64_1852`
72×	`1-exp_binary64_1827`
69×	`add-cbrt-cube_binary64_1819`
57×	`cbrt-unprod_binary64_1816`
50×	`associate-r_binary64_1723`
43×	`times-frac_binary64_1789`
42×	`add-sqr-sqrt_binary64_1805`
36×	`cbrt-prod_binary64_1814`
33×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
23×	`cbrt-undiv_binary64_1817`
8×	`unswap-sqr_binary64_1751`
7×	`unpow-prod-down_binary64_1862` `pow1_binary64_1844`
6×	`associate-l_binary64_1724`
4×	`div-inv_binary64_1780` `associate-*l/_binary64_1726` `add-log-exp_binary64_1822`
3×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `unpow2_binary64_1848` `sqrt-prod_binary64_1799`
2×	`sqrt-div_binary64_1800` `*-commutative_binary64_1714`
1×	`flip3--_binary64_1787` `associate-/l_binary64_1728` `pow1/2_binary64_1863` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `sqrt-pow1_binary64_1801` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796` `flip--_binary64_1758`

Counts

4 → 465

Calls

8 calls:

40.0ms	(.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
18.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
16.0ms	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series2.3s (0.8%)

Counts

4 → 54

Calls

4 calls:

1.2s	(.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
667.0ms	(.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))
285.0ms	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 1 2) (.f64 (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))) (/.f64 (cbrt.f64 h) (cbrt.f64 l)))))
137.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3224 to 3012 computations (6.6% saved)

simplify208.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

519 → 519

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5067	13826

prune26.0s (8.6%)

Pruning

459 alts after pruning (456 fresh and 3 done)

	Pruned	Kept	Total
New	899	216	1115
Fresh	20	240	260
Picked	0	0	0
Done	4	3	7
Total	923	459	1382

Error

1.2b

Counts

1382 → 459

Compiler

Compiled 32147 to 20105 computations (37.5% saved)

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.2b	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 1 (/.f64 (.f64 2 d) (.f64 M D))))) (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d)))))
4.7b	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
4.7b	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 1 (/.f64 (.f64 2 d) (*.f64 M D)))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.7b	(/.f64 (.f64 2 d) (.f64 M D))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
12×	`add-sqr-sqrt_binary64_1805`
10×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow1_binary64_1844`
6×	`associate-l_binary64_1724` `associate-r_binary64_1723`
4×	`add-log-exp_binary64_1822`
2×	`associate-/l_binary64_1728` `div-inv_binary64_1780` `associate-/r_binary64_1727` `times-frac_binary64_1789` `*-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`

Counts

4 → 78

Calls

8 calls:

6.0ms	(/.f64 (.f64 2 d) (.f64 M D))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
4.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 1 (/.f64 (.f64 2 d) (*.f64 M D)))))
4.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
0.0ms	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 1 (/.f64 (.f64 2 d) (.f64 M D))))) (.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d)))))

series669.0ms (0.2%)

Counts

4 → 48

Calls

4 calls:

206.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 1 (/.f64 (.f64 2 d) (*.f64 M D)))))
200.0ms	(.f64 (fabs.f64 (/.f64 (cbrt.f64 h) (cbrt.f64 l))) (fabs.f64 (/.f64 (.f64 M D) (*.f64 2 d))))
135.0ms	(/.f64 (.f64 2 d) (.f64 M D))
128.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 4212 to 3012 computations (28.5% saved)

simplify87.0ms (0%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5049	2356

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b	(.f64 w0 (/.f64 (.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))) d))
2.4b	(/.f64 (.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (.f64 M M)) l)))) d)
1.8b	(.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (.f64 M M)) l))))
0.0b	(.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l))
2.6b	(.f64 w0 (/.f64 (.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))) d))
5.8b	(/.f64 (.f64 h (.f64 M M)) l)
7.4b	(.f64 h (.f64 M M))
26.1b	(sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
14×	`pow1_binary64_1844`
13×	`add-sqr-sqrt_binary64_1805`
10×	`add-cube-cbrt_binary64_1818` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `*-un-lft-identity_binary64_1783`
8×	`associate-r_binary64_1723`
6×	`associate-l_binary64_1724` `times-frac_binary64_1789`
5×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow-prod-down_binary64_1854`
4×	`add-log-exp_binary64_1822`
3×	`associate-/r*_binary64_1727`
2×	`associate-r/_binary64_1725` `div-inv_binary64_1780` `-commutative_binary64_1714` `sqrt-pow1_binary64_1801` `unswap-sqr_binary64_1751`
1×	`associate-/l*_binary64_1728` `pow1/2_binary64_1863` `sqrt-prod_binary64_1799` `sqrt-div_binary64_1800` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 81

Calls

8 calls:

12.0ms	(.f64 w0 (/.f64 (.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))) d))
7.0ms	(/.f64 (.f64 h (.f64 M M)) l)
6.0ms	(sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))
6.0ms	(.f64 h (.f64 M M))
0.0ms	(.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l))

series861.0ms (0.3%)

Counts

4 → 42

Calls

4 calls:

564.0ms	(.f64 w0 (/.f64 (.f64 D (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))) d))
126.0ms	(/.f64 (.f64 h (.f64 M M)) l)
113.0ms	(sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (*.f64 M M)) l)))
58.0ms	(.f64 h (.f64 M M))

Compiler

Compiled 1496 to 1441 computations (3.7% saved)

simplify77.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4983	1953
1	4983	1953

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))))
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 w0)))
0.3b	(.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 w0))
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.5b	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 w0)))
3.6b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))))
5.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.7b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite66.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`add-exp-log_binary64_1821`
33×	`add-sqr-sqrt_binary64_1805`
29×	`prod-exp_binary64_1832`
26×	`add-cbrt-cube_binary64_1819`
19×	`div-exp_binary64_1834`
16×	`add-cube-cbrt_binary64_1818` `associate-l_binary64_1724` `*-un-lft-identity_binary64_1783`
15×	`times-frac_binary64_1789`
14×	`associate-r_binary64_1723`
13×	`pow1_binary64_1844`
10×	`pow-exp_binary64_1851`
9×	`cbrt-unprod_binary64_1816`
8×	`unswap-sqr_binary64_1751`
7×	`unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854`
6×	`sqrt-prod_binary64_1799`
5×	`cbrt-undiv_binary64_1817`
4×	`pow1/2_binary64_1863` `sqrt-div_binary64_1800` `sqrt-pow1_binary64_1801` `add-log-exp_binary64_1822`
3×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `unpow2_binary64_1848` `div-inv_binary64_1780`
2×	`flip3--_binary64_1787` `sqrt-unprod_binary64_1803` `associate-l/_binary64_1726` `-commutative_binary64_1714` `flip--_binary64_1758` `pow-to-exp_binary64_1852`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `rem-sqrt-square_binary64_1796`

Counts

4 → 118

Calls

8 calls:

23.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 w0)))
12.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
10.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
0.0ms	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)

series1.4s (0.5%)

Counts

4 → 59

Calls

4 calls:

532.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
514.0ms	(.f64 (sqrt.f64 w0) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 w0)))
230.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 1) (.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))))
121.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3213 to 2987 computations (7% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4988	3882
1	4988	3882

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 h)
0.6b	(cbrt.f64 l)
0.3b	(/.f64 (cbrt.f64 h) (cbrt.f64 l))
0.0b	(.f64 1/4 (.f64 (/.f64 (.f64 M M) (.f64 d d)) (.f64 (.f64 D D) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l)))))))
6.6b	(.f64 (/.f64 (.f64 M M) (.f64 d d)) (.f64 (*.f64 D D) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))))
11.0b	(log.f64 (/.f64 h l))
13.5b	(/.f64 (.f64 M M) (.f64 d d))
14.8b	(cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))

rewrite54.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`add-exp-log_binary64_1821`
75×	`add-cbrt-cube_binary64_1819`
46×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
26×	`log-prod_binary64_1869`
22×	`*-un-lft-identity_binary64_1783`
21×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `cbrt-prod_binary64_1814`
20×	`times-frac_binary64_1789`
17×	`div-exp_binary64_1834`
16×	`cbrt-undiv_binary64_1817`
14×	`pow1_binary64_1844`
13×	`unpow-prod-up_binary64_1861`
6×	`pow-prod-down_binary64_1854`
5×	`associate-l_binary64_1724`
4×	`div-inv_binary64_1780` `unpow-prod-down_binary64_1862` `add-log-exp_binary64_1822` `log-div_binary64_1870`
3×	`associate-*r/_binary64_1725` `pow-sub_binary64_1859` `cbrt-div_binary64_1815`
2×	`rem-log-exp_binary64_1824`
1×	`exp-lft-sqr_binary64_1838` `log-pow_binary64_1872` `sqr-pow_binary64_1755` `associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l/_binary64_1726` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `pow1/3_binary64_1865` `clear-num_binary64_1782` `associate-r_binary64_1723`

Counts

4 → 125

Calls

8 calls:

19.0ms	(.f64 (/.f64 (.f64 M M) (.f64 d d)) (.f64 (*.f64 D D) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))))
6.0ms	(/.f64 (.f64 M M) (.f64 d d))
5.0ms	(cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))
3.0ms	(log.f64 (/.f64 h l))
0.0ms	(.f64 1/4 (.f64 (/.f64 (.f64 M M) (.f64 d d)) (.f64 (.f64 D D) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l)))))))

series2.4s (0.8%)

Counts

4 → 33

Calls

4 calls:

1.6s	(.f64 (/.f64 (.f64 M M) (.f64 d d)) (.f64 (*.f64 D D) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))))
543.0ms	(cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (/.f64 h l))))
136.0ms	(log.f64 (/.f64 h l))
90.0ms	(/.f64 (.f64 M M) (.f64 d d))

Compiler

Compiled 2378 to 2162 computations (9.1% saved)

simplify67.0ms (0%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5198	3091

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))))
0.2b	(pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) 2)
0.2b	(pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)
0.1b	(.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) 2))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))))
11.7b	(.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d)))) 2))
20.2b	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
20.2b	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
20.2b	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))

rewrite45.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-exp-log_binary64_1821`
26×	`add-sqr-sqrt_binary64_1805`
16×	`prod-exp_binary64_1832`
15×	`add-cube-cbrt_binary64_1818` `cbrt-prod_binary64_1814` `*-un-lft-identity_binary64_1783` `times-frac_binary64_1789`
13×	`associate-l_binary64_1724`
9×	`add-cbrt-cube_binary64_1819`
6×	`unswap-sqr_binary64_1751` `pow-exp_binary64_1851` `associate-r_binary64_1723`
5×	`div-exp_binary64_1834`
4×	`div-inv_binary64_1780` `add-log-exp_binary64_1822` `pow1_binary64_1844`
3×	`sqr-pow_binary64_1755` `unpow2_binary64_1848` `cbrt-div_binary64_1815` `pow1/3_binary64_1865`
2×	`cbrt-unprod_binary64_1816` `pow-to-exp_binary64_1852`
1×	`unpow-prod-down_binary64_1862` `associate-l/_binary64_1726` `cbrt-undiv_binary64_1817` `-commutative_binary64_1714`

Counts

4 → 88

Calls

8 calls:

11.0ms	(.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d)))) 2))
5.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
4.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
4.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
0.0ms	(.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) 2))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))))))

series2.2s (0.7%)

Counts

4 → 42

Calls

4 calls:

952.0ms	(.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) (cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))) (cbrt.f64 (/.f64 (.f64 M D) (*.f64 2 d)))) 2))
417.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
415.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))
411.0ms	(cbrt.f64 (/.f64 (.f64 M D) (.f64 2 d)))

Compiler

Compiled 4686 to 3762 computations (19.7% saved)

simplify55.0ms (0%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5549	2655

prune28.7s (9.5%)

Pruning

626 alts after pruning (621 fresh and 5 done)

	Pruned	Kept	Total
New	538	176	714
Fresh	6	445	451
Picked	0	0	0
Done	3	5	8
Total	547	626	1173

Error

0.2b

Counts

1173 → 626

Compiler

Compiled 15557 to 7858 computations (49.5% saved)

simplify993.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	6489	67214

regimes56.4s (18.6%)

Compiler: Compiled 696250 to 536095 computations (23% saved)

bsearch70.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

regimes55.4s (18.3%)

Compiler: Compiled 669451 to 520809 computations (22.2% saved)

bsearch70.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

regimes25.6s (8.5%)

Compiler: Compiled 291920 to 245078 computations (16% saved)

bsearch31.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

regimes21.5s (7.1%)

Compiler: Compiled 252164 to 214882 computations (14.8% saved)

bsearch33.0ms (0%)

Compiler: Compiled 18 to 18 computations (0% saved)

regimes2.3s (0.8%)

Compiler: Compiled 14775 to 14144 computations (4.3% saved)

bsearch4.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

regimes2.3s (0.8%)

Compiler: Compiled 12810 to 12232 computations (4.5% saved)

bsearch4.0ms (0%)

Compiler: Compiled 7 to 10 computations (-42.9% saved)

regimes1.2s (0.4%)

Compiler: Compiled 8488 to 7982 computations (6% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 7 computations (-133.3% saved)

regimes1.2s (0.4%)

Compiler: Compiled 8106 to 7660 computations (5.5% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 7 computations (-133.3% saved)

regimes881.0ms (0.3%)

Compiler: Compiled 7632 to 7228 computations (5.3% saved)

bsearch112.0ms (0%)

Steps

Iters	Range		Point
6	4.845874374635728e-170	2.2546665180451623e-169	4.903805071547444e-170
10	3.0737489301292016e-300	6.72384800369099e-282	6.621422145171273e-282

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes449.0ms (0.1%)

Compiler: Compiled 3336 to 3404 computations (-2% saved)

bsearch64.0ms (0%)

Steps

Iters	Range		Point
6	-1.1165081547957618e-144	-1.86780187618728e-145	-1.1036119002235898e-144
8	-2.2444281791751806e-129	-4.725303414060011e-132	-4.7741656768332877e-132

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes124.0ms (0%)

Compiler: Compiled 585 to 842 computations (-43.9% saved)

bsearch0.0ms (0%)

regimes55.0ms (0%)

Accuracy

Total 5.2b remaining (88.1%)

Threshold costs 0b (0%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch29.0ms (0%)

Compiler: Compiled 759 to 474 computations (37.5% saved)

simplify18.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	584	1119
1	584	1119

end0.0ms (0%)

sample37.7s (12.4%)

Algorithm

1×

intervals

Results

609.0ms	8000×	body	128	valid
221.0ms	3113×	body	128	nan
98.0ms	1327×	body	128	invalid

Compiler

Compiled 43863 to 33521 computations (23.6% saved)

Pareto

0.8901805696295573