Details

analyze1.9s (1.2%)

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%	98.1%	1.9%	13
0%	98.1%	1.9%	14

Compiler

Compiled 53 to 22 computations (58.5% saved)

sample233.0ms (0.1%)

Algorithm

1×

intervals

Results

38.0ms	66×	body	4096	valid
29.0ms	379×	body	128	nan
26.0ms	41×	body	8192	valid
19.0ms	47×	body	2048	valid
9.0ms	118×	body	128	invalid
6.0ms	72×	body	128	valid
5.0ms	16×	body	1024	valid
2.0ms	11×	body	512	valid
1.0ms	3×	body	2048	invalid
1.0ms	4×	body	512	invalid
1.0ms	1×	body	8192	exit
0.0ms	3×	body	256	valid
0.0ms	1×	body	256	invalid

Compiler

Compiled 105 to 49 computations (53.3% saved)

simplify134.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5019	69

prune4.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

59.6b

Counts

2 → 2

Compiler

Compiled 46 to 27 computations (41.3% saved)

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

7.1b	(.f64 c0 (.f64 d d))
7.1b	(.f64 c0 (.f64 d d))
7.1b	(.f64 c0 (.f64 d d))
0.2b	(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
29.4b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

rewrite123.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

211×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
117×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
45×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
6×	`*-un-lft-identity_binary64_1783` `add-log-exp_binary64_1822`
4×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `pow1_binary64_1844`
3×	`associate-/l_binary64_1728` `div-inv_binary64_1780` `associate-/r_binary64_1727` `times-frac_binary64_1789` `frac-2neg_binary64_1794` `clear-num_binary64_1782`
2×	`frac-add_binary64_1791` `sqrt-div_binary64_1800`
1×	`flip3--_binary64_1787` `+-commutative_binary64_1713` `distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `sum-log_binary64_1874` `flip3-+_binary64_1786` `flip--_binary64_1758`

Counts

4 → 143

Calls

8 calls:

52.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))
15.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
14.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
0.0ms	(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))

series2.0s (1.3%)

Counts

4 → 71

Calls

4 calls:

614.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))
485.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
477.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
470.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

Compiler

Compiled 5972 to 3782 computations (36.7% saved)

simplify104.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5046	5195

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

6.3b	(/.f64 c0 (*.f64 w h))
6.3b	(/.f64 c0 (*.f64 w h))
0.3b	(pow.f64 (/.f64 d D) 3)
0.1b	(*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3))
13.0b	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
39.4b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))

rewrite104.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

202×	`add-exp-log_binary64_1821`
121×	`add-cbrt-cube_binary64_1819`
107×	`prod-exp_binary64_1832`
65×	`cbrt-unprod_binary64_1816`
51×	`div-exp_binary64_1834`
24×	`cbrt-undiv_binary64_1817`
18×	`pow1_binary64_1844`
12×	`pow-exp_binary64_1851`
9×	`pow-prod-down_binary64_1854`
8×	`-un-lft-identity_binary64_1783` `associate-r*_binary64_1723`
6×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `pow-to-exp_binary64_1852` `add-log-exp_binary64_1822`
5×	`associate-*l/_binary64_1726` `frac-times_binary64_1793`
4×	`times-frac_binary64_1789` `cube-div_binary64_1812`
3×	`associate-*r/_binary64_1725`
2×	`frac-add_binary64_1791` `div-inv_binary64_1780` `associate-l_binary64_1724` `sqrt-div_binary64_1800` `*-commutative_binary64_1714`
1×	`flip3--_binary64_1787` `+-commutative_binary64_1713` `associate-/l_binary64_1728` `distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `sum-log_binary64_1874` `flip3-+_binary64_1786` `clear-num_binary64_1782` `flip--_binary64_1758`

Counts

4 → 139

Calls

8 calls:

38.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))
16.0ms	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3))

series1.8s (1.1%)

Counts

4 → 65

Calls

4 calls:

603.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))
577.0ms	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
481.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
138.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 4820 to 3494 computations (27.5% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4997	4549
1	4997	4549

prune1.1s (0.7%)

Pruning

65 alts after pruning (64 fresh and 1 done)

	Pruned	Kept	Total
New	354	64	418
Fresh	0	0	0
Picked	0	0	0
Done	1	1	2
Total	355	65	420

Error

30.6b

Counts

420 → 65

Compiler

Compiled 10473 to 3647 computations (65.2% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

10.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (.f64 d d)))))
8.6b	(.f64 h (.f64 D D))
7.1b	(.f64 c0 (.f64 d d))
5.4b	(.f64 w (.f64 (.f64 M M) (.f64 h (*.f64 D D))))
8.6b	(.f64 h (.f64 D D))
10.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (.f64 d d)))))
14.2b	(.f64 (.f64 M M) (.f64 h (.f64 D D)))
15.2b	(/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (*.f64 d d)))

rewrite143.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

819×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
557×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
148×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
35×	`pow1_binary64_1844`
21×	`pow-prod-down_binary64_1854`
11×	`associate-l_binary64_1724`
8×	`add-sqr-sqrt_binary64_1805`
7×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
4×	`times-frac_binary64_1789` `add-log-exp_binary64_1822`
3×	`associate-r/_binary64_1725` `-commutative_binary64_1714` `associate-r_binary64_1723`
2×	`div-inv_binary64_1780`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `clear-num_binary64_1782` `unswap-sqr_binary64_1751`

Counts

4 → 285

Calls

8 calls:

35.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (.f64 d d)))))
19.0ms	(/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (*.f64 d d)))
11.0ms	(.f64 (.f64 M M) (.f64 h (.f64 D D)))
6.0ms	(.f64 h (.f64 D D))
0.0ms	(.f64 w (.f64 (.f64 M M) (.f64 h (*.f64 D D))))

series1.5s (1%)

Counts

4 → 51

Calls

4 calls:

709.0ms	(/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (*.f64 d d)))
592.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (.f64 (.f64 M M) (.f64 h (.f64 D D)))) (.f64 c0 (.f64 d d)))))
159.0ms	(.f64 (.f64 M M) (.f64 h (.f64 D D)))
63.0ms	(.f64 h (.f64 D D))

Compiler

Compiled 2190 to 2088 computations (4.7% saved)

simplify142.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

336 → 336

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5474	9642

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
7.1b	(.f64 c0 (.f64 d d))
6.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2))
6.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2))
7.1b	(.f64 c0 (.f64 d d))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

rewrite89.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

453×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
283×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
94×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
26×	`pow1_binary64_1844`
14×	`pow-prod-down_binary64_1854`
11×	`associate-l_binary64_1724`
8×	`add-sqr-sqrt_binary64_1805`
7×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
4×	`times-frac_binary64_1789` `add-log-exp_binary64_1822`
3×	`associate-l/_binary64_1726` `-commutative_binary64_1714` `associate-r_binary64_1723`
2×	`div-inv_binary64_1780`
1×	`associate-r/_binary64_1725` `associate-/l_binary64_1728` `associate-/r*_binary64_1727` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `clear-num_binary64_1782` `unswap-sqr_binary64_1751`

Counts

4 → 207

Calls

8 calls:

21.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2))
14.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
5.0ms	(.f64 c0 (.f64 d d))
0.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2))

series1.2s (0.8%)

Counts

4 → 45

Calls

4 calls:

593.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2))
462.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
118.0ms	(.f64 (.f64 w h) (*.f64 D D))
59.0ms	(.f64 c0 (.f64 d d))

Compiler

Compiled 1770 to 1710 computations (3.4% saved)

simplify124.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5021	5488

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

7.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (.f64 w h) (pow.f64 D 4)))) (*.f64 M M)))))
7.1b	(.f64 c0 (.f64 d d))
6.3b	(/.f64 c0 (*.f64 w h))
3.8b	(*.f64 c0 (pow.f64 d 4))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
19.4b	(/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (*.f64 w h) (pow.f64 D 4)))
36.1b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (.f64 w h) (pow.f64 D 4)))) (*.f64 M M))))

rewrite83.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

183×	`add-exp-log_binary64_1821`
106×	`add-cbrt-cube_binary64_1819`
104×	`prod-exp_binary64_1832`
56×	`cbrt-unprod_binary64_1816`
43×	`div-exp_binary64_1834`
21×	`cbrt-undiv_binary64_1817`
16×	`pow1_binary64_1844`
15×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
8×	`pow-prod-down_binary64_1854`
6×	`*-un-lft-identity_binary64_1783` `add-log-exp_binary64_1822`
4×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818`
2×	`associate-/l_binary64_1728` `frac-add_binary64_1791` `div-inv_binary64_1780` `associate-/r_binary64_1727` `times-frac_binary64_1789` `sqrt-div_binary64_1800` `frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`flip3--_binary64_1787` `+-commutative_binary64_1713` `distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `associate-l_binary64_1724` `-commutative_binary64_1714` `sum-log_binary64_1874` `flip3-+_binary64_1786` `flip--_binary64_1758` `associate-r*_binary64_1723`

Counts

4 → 126

Calls

8 calls:

30.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (.f64 w h) (pow.f64 D 4)))) (*.f64 M M))))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
10.0ms	(/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (*.f64 w h) (pow.f64 D 4)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(*.f64 c0 (pow.f64 d 4))

series1.8s (1.2%)

Counts

4 → 65

Calls

4 calls:

608.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (.f64 w h) (pow.f64 D 4)))) (*.f64 M M))))
573.0ms	(/.f64 (.f64 c0 (pow.f64 d 4)) (.f64 (*.f64 w h) (pow.f64 D 4)))
488.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
135.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 4724 to 3590 computations (24% saved)

simplify95.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5097	4623

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

2.1b	(log.f64 (exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))))
0.3b	(pow.f64 (/.f64 d D) 3)
0.1b	(*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3))
0.0b	(exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))
13.0b	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
31.1b	(+.f64 (log.f64 (exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))

rewrite97.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

202×	`add-exp-log_binary64_1821`
121×	`add-cbrt-cube_binary64_1819`
107×	`prod-exp_binary64_1832`
65×	`cbrt-unprod_binary64_1816`
51×	`div-exp_binary64_1834`
24×	`cbrt-undiv_binary64_1817`
19×	`pow1_binary64_1844`
12×	`pow-exp_binary64_1851`
10×	`*-un-lft-identity_binary64_1783`
9×	`pow-prod-down_binary64_1854`
8×	`associate-r_binary64_1723`
7×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818`
6×	`pow-to-exp_binary64_1852`
5×	`associate-*l/_binary64_1726` `frac-times_binary64_1793` `add-log-exp_binary64_1822`
4×	`times-frac_binary64_1789` `cube-div_binary64_1812`
3×	`associate-*r/_binary64_1725` `log-prod_binary64_1869` `associate-+l+_binary64_1716`
2×	`distribute-lft-out_binary64_1734` `div-inv_binary64_1780` `associate-l_binary64_1724` `*-commutative_binary64_1714`
1×	`log-pow_binary64_1872` `+-commutative_binary64_1713` `associate-/l_binary64_1728` `flip-+_binary64_1757` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `sum-log_binary64_1874` `flip3-+_binary64_1786` `clear-num_binary64_1782`

Counts

4 → 141

Calls

8 calls:

29.0ms	(+.f64 (log.f64 (exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))
18.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
16.0ms	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
8.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))

series1.7s (1.1%)

Counts

4 → 65

Calls

4 calls:

585.0ms	(.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))
497.0ms	(+.f64 (log.f64 (exp.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (*.f64 M M))))
485.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
138.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 4940 to 3613 computations (26.9% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5020	4325

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (/.f64 d D) 4)
0.2b	(pow.f64 (/.f64 d D) 4)
0.1b	(.f64 (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (sqrt.f64 (.f64 (/.f64 c0 (*.f64 w h)) (pow.f64 (/.f64 d D) 4))))
0.0b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))))) (*.f64 M M))))
13.0b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.0b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

rewrite83.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

157×	`add-exp-log_binary64_1821`
103×	`add-cbrt-cube_binary64_1819`
79×	`prod-exp_binary64_1832`
55×	`cbrt-unprod_binary64_1816`
40×	`add-sqr-sqrt_binary64_1805`
37×	`div-exp_binary64_1834`
35×	`associate-r_binary64_1723`
30×	`unpow-prod-down_binary64_1862`
27×	`times-frac_binary64_1789`
24×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
19×	`cbrt-undiv_binary64_1817`
16×	`pow1_binary64_1844`
15×	`associate-l_binary64_1724`
12×	`pow-exp_binary64_1851`
8×	`pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`
6×	`pow-to-exp_binary64_1852`
5×	`div-inv_binary64_1780`
4×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714`
2×	`associate-*l/_binary64_1726`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 169

Calls

8 calls:

18.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
14.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))))) (*.f64 M M))))

series1.8s (1.1%)

Counts

4 → 54

Calls

4 calls:

586.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
573.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
490.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
145.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 6168 to 3882 computations (37.1% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4970	3959
1	4970	3959

prune9.6s (6.1%)

Pruning

224 alts after pruning (223 fresh and 1 done)

	Pruned	Kept	Total
New	1037	171	1208
Fresh	7	52	59
Picked	0	0	0
Done	5	1	6
Total	1049	224	1273

Error

20.9b

Counts

1273 → 224

Compiler

Compiled 26180 to 11240 computations (57.1% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

15.1b	(/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (*.f64 d d))
14.2b	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
8.6b	(.f64 h (.f64 D D))
0.0b	(.f64 (/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (.f64 d d)) 1/4)
0.0b	(.f64 (/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (.f64 d d)) 1/4)
8.6b	(.f64 h (.f64 D D))
14.2b	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
15.1b	(/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (*.f64 d d))

rewrite67.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
107×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
32×	`pow1_binary64_1844`
28×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
19×	`pow-prod-down_binary64_1854`
10×	`add-sqr-sqrt_binary64_1805`
9×	`associate-l_binary64_1724`
7×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
5×	`associate-r_binary64_1723`
4×	`add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714`
2×	`div-inv_binary64_1780` `times-frac_binary64_1789` `unswap-sqr_binary64_1751`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 137

Calls

8 calls:

16.0ms	(.f64 (/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (.f64 d d)) 1/4)
14.0ms	(/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (*.f64 d d))
10.0ms	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
6.0ms	(.f64 h (.f64 D D))
0.0ms	(.f64 (/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (.f64 d d)) 1/4)

series919.0ms (0.6%)

Counts

4 → 39

Calls

4 calls:

378.0ms	(.f64 (/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (.f64 d d)) 1/4)
322.0ms	(/.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) (*.f64 d d))
155.0ms	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
63.0ms	(.f64 h (.f64 D D))

Compiler

Compiled 1170 to 1284 computations (-9.7% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5013	3193

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

13.7b	(.f64 (.f64 w h) (*.f64 D D))
7.1b	(.f64 c0 (.f64 d d))
6.0b	(.f64 c0 (.f64 c0 (*.f64 d d)))
3.6b	(/.f64 (.f64 c0 (.f64 c0 (*.f64 d d))) w)
6.0b	(.f64 c0 (.f64 c0 (*.f64 d d)))
7.1b	(.f64 c0 (.f64 d d))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
15.5b	(/.f64 (/.f64 (.f64 c0 (.f64 c0 (.f64 d d))) w) (.f64 (.f64 w h) (.f64 D D)))

rewrite57.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

170×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
87×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
45×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
30×	`pow1_binary64_1844`
17×	`pow-prod-down_binary64_1854`
13×	`times-frac_binary64_1789`
11×	`add-sqr-sqrt_binary64_1805`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`associate-/l_binary64_1728` `associate-l*_binary64_1724`
4×	`add-log-exp_binary64_1822`
3×	`div-inv_binary64_1780` `-commutative_binary64_1714` `associate-r*_binary64_1723`
1×	`associate-/l/_binary64_1730` `associate-/r*_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `unswap-sqr_binary64_1751`

Counts

4 → 138

Calls

8 calls:

16.0ms	(/.f64 (/.f64 (.f64 c0 (.f64 c0 (.f64 d d))) w) (.f64 (.f64 w h) (.f64 D D)))
7.0ms	(.f64 c0 (.f64 c0 (*.f64 d d)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
6.0ms	(.f64 c0 (.f64 d d))
0.0ms	(/.f64 (.f64 c0 (.f64 c0 (*.f64 d d))) w)

series851.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

590.0ms	(/.f64 (/.f64 (.f64 c0 (.f64 c0 (.f64 d d))) w) (.f64 (.f64 w h) (.f64 D D)))
128.0ms	(.f64 (.f64 w h) (*.f64 D D))
73.0ms	(.f64 c0 (.f64 c0 (*.f64 d d)))
60.0ms	(.f64 c0 (.f64 d d))

Compiler

Compiled 1224 to 1182 computations (3.4% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5081	3262

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

8.6b	(.f64 h (.f64 D D))
7.1b	(.f64 c0 (.f64 d d))
5.4b	(.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (*.f64 M M)) 3)))
0.1b	(pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3)
10.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (.f64 d d)))))
14.2b	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
15.2b	(/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (*.f64 d d)))
16.4b	(cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

184×	`add-exp-log_binary64_1821`
172×	`add-cbrt-cube_binary64_1819`
104×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
40×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
30×	`pow1_binary64_1844`
18×	`pow-prod-down_binary64_1854`
8×	`cbrt-prod_binary64_1814` `associate-l_binary64_1724`
7×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
4×	`times-frac_binary64_1789` `add-log-exp_binary64_1822`
3×	`associate-*r/_binary64_1725`
2×	`div-inv_binary64_1780` `-commutative_binary64_1714` `associate-r*_binary64_1723`
1×	`sqr-pow_binary64_1755` `rem-cbrt-cube_binary64_1807` `associate-/l_binary64_1728` `cube-mult_binary64_1813` `unpow3_binary64_1849` `unpow-prod-down_binary64_1862` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `frac-times_binary64_1793` `pow1/3_binary64_1865` `clear-num_binary64_1782` `cube-prod_binary64_1811`

Counts

4 → 139

Calls

8 calls:

17.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (.f64 d d)))))
11.0ms	(/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (*.f64 d d)))
11.0ms	(.f64 (.f64 h (.f64 D D)) (.f64 M M))
4.0ms	(cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))
0.0ms	(pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3)

series1.6s (1%)

Counts

4 → 54

Calls

4 calls:

706.0ms	(/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (*.f64 d d)))
586.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 w (cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))) (.f64 c0 (.f64 d d)))))
166.0ms	(cbrt.f64 (pow.f64 (.f64 (.f64 h (.f64 D D)) (.f64 M M)) 3))
147.0ms	(.f64 (.f64 h (.f64 D D)) (.f64 M M))

Compiler

Compiled 2420 to 2312 computations (4.5% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5096	4967

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

6.3b	(/.f64 c0 (*.f64 w h))
6.3b	(/.f64 c0 (*.f64 w h))
0.2b	(pow.f64 (/.f64 d D) 4)
0.1b	(pow.f64 (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (.f64 M M)))) 3)
13.0b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
39.1b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (.f64 M M))))

rewrite95.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

121×	`add-exp-log_binary64_1821`
94×	`add-cbrt-cube_binary64_1819`
63×	`prod-exp_binary64_1832`
51×	`cbrt-unprod_binary64_1816`
26×	`div-exp_binary64_1834`
22×	`add-sqr-sqrt_binary64_1805`
18×	`associate-r_binary64_1723`
17×	`cbrt-undiv_binary64_1817`
16×	`*-un-lft-identity_binary64_1783` `pow1_binary64_1844`
15×	`unpow-prod-down_binary64_1862`
14×	`add-cube-cbrt_binary64_1818` `times-frac_binary64_1789`
8×	`associate-l_binary64_1724` `pow-prod-down_binary64_1854`
6×	`pow-exp_binary64_1851` `add-log-exp_binary64_1822`
4×	`unswap-sqr_binary64_1751`
3×	`div-inv_binary64_1780` `pow-to-exp_binary64_1852`
2×	`sqr-pow_binary64_1755` `frac-add_binary64_1791` `sqrt-div_binary64_1800` `*-commutative_binary64_1714`
1×	`flip3--_binary64_1787` `+-commutative_binary64_1713` `associate-/l_binary64_1728` `distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `sum-log_binary64_1874` `flip3-+_binary64_1786` `clear-num_binary64_1782` `flip--_binary64_1758`

Counts

4 → 131

Calls

8 calls:

32.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (.f64 M M))))
15.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(pow.f64 (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (.f64 M M)))) 3)

series1.8s (1.2%)

Counts

4 → 65

Calls

4 calls:

607.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))) (.f64 M M))))
580.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
477.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
143.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 4994 to 3812 computations (23.7% saved)

simplify110.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4980	4268
1	4980	4268

localize40.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(pow.f64 (/.f64 d D) 2)
0.2b	(pow.f64 (/.f64 d D) 4)
0.1b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))))
0.0b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))))) (.f64 M M))))
13.0b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
16.6b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

rewrite84.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

157×	`add-exp-log_binary64_1821`
103×	`add-cbrt-cube_binary64_1819`
79×	`prod-exp_binary64_1832`
55×	`cbrt-unprod_binary64_1816`
41×	`add-sqr-sqrt_binary64_1805`
37×	`div-exp_binary64_1834`
36×	`associate-r_binary64_1723`
30×	`unpow-prod-down_binary64_1862`
27×	`times-frac_binary64_1789`
24×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
19×	`cbrt-undiv_binary64_1817`
16×	`pow1_binary64_1844`
15×	`associate-l_binary64_1724`
12×	`pow-exp_binary64_1851`
9×	`unswap-sqr_binary64_1751`
8×	`pow-prod-down_binary64_1854`
6×	`pow-to-exp_binary64_1852`
5×	`div-inv_binary64_1780`
4×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714`
2×	`unpow2_binary64_1848` `associate-*l/_binary64_1726`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 171

Calls

8 calls:

15.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
14.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))))) (.f64 M M))))

series1.7s (1.1%)

Counts

4 → 54

Calls

4 calls:

604.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 4))
504.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
482.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
141.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 7032 to 4422 computations (37.1% saved)

simplify116.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5004	3917

prune18.1s (11.6%)

Pruning

406 alts after pruning (405 fresh and 1 done)

	Pruned	Kept	Total
New	753	211	964
Fresh	24	194	218
Picked	0	0	0
Done	5	1	6
Total	782	406	1188

Error

15.1b

Counts

1188 → 406

Compiler

Compiled 34521 to 16564 computations (52% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

8.6b	(.f64 h (.f64 D D))
6.4b	(.f64 M (.f64 h (*.f64 D D)))
2.4b	(.f64 (.f64 M (.f64 h (.f64 D D))) M)
0.0b	(.f64 (/.f64 (.f64 (.f64 M (.f64 h (.f64 D D))) M) (.f64 d d)) 1/4)
2.4b	(.f64 (.f64 M (.f64 h (.f64 D D))) M)
6.4b	(.f64 M (.f64 h (*.f64 D D)))
8.6b	(.f64 h (.f64 D D))
15.1b	(/.f64 (.f64 (.f64 M (.f64 h (.f64 D D))) M) (*.f64 d d))

rewrite49.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

8 calls:

13.0ms	(/.f64 (.f64 (.f64 M (.f64 h (.f64 D D))) M) (*.f64 d d))
11.0ms	(.f64 (.f64 M (.f64 h (.f64 D D))) M)
10.0ms	(.f64 M (.f64 h (*.f64 D D)))
6.0ms	(.f64 h (.f64 D D))
0.0ms	(.f64 (/.f64 (.f64 (.f64 M (.f64 h (.f64 D D))) M) (.f64 d d)) 1/4)

series898.0ms (0.6%)

Counts

4 → 36

Calls

4 calls:

566.0ms	(/.f64 (.f64 (.f64 M (.f64 h (.f64 D D))) M) (*.f64 d d))
151.0ms	(.f64 (.f64 M (.f64 h (.f64 D D))) M)
125.0ms	(.f64 M (.f64 h (*.f64 D D)))
54.0ms	(.f64 h (.f64 D D))

Compiler

Compiled 1080 to 1146 computations (-6.1% saved)

simplify73.0ms (0%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5021	1927

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

15.1b	(/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (*.f64 d d))
14.2b	(.f64 (.f64 (.f64 h D) D) (.f64 M M))
0.2b	(.f64 (.f64 h D) D)
0.0b	(.f64 (/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (.f64 d d)) 1/4)
0.0b	(.f64 (/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (.f64 d d)) 1/4)
0.2b	(.f64 (.f64 h D) D)
14.2b	(.f64 (.f64 (.f64 h D) D) (.f64 M M))
15.1b	(/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (*.f64 d d))

rewrite61.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
107×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
32×	`pow1_binary64_1844`
28×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
19×	`pow-prod-down_binary64_1854`
9×	`add-sqr-sqrt_binary64_1805`
7×	`add-cube-cbrt_binary64_1818` `associate-l_binary64_1724` `-un-lft-identity_binary64_1783` `associate-r*_binary64_1723`
4×	`add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714`
2×	`div-inv_binary64_1780` `times-frac_binary64_1789`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-*l/_binary64_1726` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `unswap-sqr_binary64_1751`

Counts

4 → 136

Calls

8 calls:

16.0ms	(/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (*.f64 d d))
15.0ms	(.f64 (/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (.f64 d d)) 1/4)
10.0ms	(.f64 (.f64 (.f64 h D) D) (.f64 M M))
5.0ms	(.f64 (.f64 h D) D)
0.0ms	(.f64 (/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (.f64 d d)) 1/4)

series894.0ms (0.6%)

Counts

4 → 39

Calls

4 calls:

376.0ms	(.f64 (/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (.f64 d d)) 1/4)
311.0ms	(/.f64 (.f64 (.f64 (.f64 h D) D) (.f64 M M)) (*.f64 d d))
154.0ms	(.f64 (.f64 (.f64 h D) D) (.f64 M M))
53.0ms	(.f64 (.f64 h D) D)

Compiler

Compiled 1170 to 1284 computations (-9.7% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5031	3194

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

8.1b	(sqrt.f64 (/.f64 c0 (*.f64 w 2)))
7.1b	(.f64 c0 (.f64 d d))
1.9b	(.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (.f64 w h))) 2) (sqrt.f64 (/.f64 c0 (.f64 w 2))))
0.3b	(.f64 (sqrt.f64 (/.f64 c0 (.f64 2 w))) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (.f64 w h))) 2) (sqrt.f64 (/.f64 c0 (.f64 w 2)))))
8.1b	(sqrt.f64 (/.f64 c0 (*.f64 2 w)))
8.1b	(sqrt.f64 (/.f64 c0 (*.f64 w 2)))
13.7b	(.f64 (.f64 D D) (*.f64 w h))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (*.f64 w h)))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
47×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
18×	`pow1_binary64_1844`
15×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
14×	`sqrt-prod_binary64_1799`
10×	`add-sqr-sqrt_binary64_1805`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `pow-prod-down_binary64_1854`
7×	`times-frac_binary64_1789`
4×	`add-log-exp_binary64_1822`
3×	`div-inv_binary64_1780`
2×	`pow1/2_binary64_1863` `sqrt-div_binary64_1800` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l_binary64_1724` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-r*_binary64_1723`

Counts

4 → 101

Calls

8 calls:

15.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (*.f64 w h)))
7.0ms	(.f64 (.f64 D D) (*.f64 w h))
4.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w 2)))
3.0ms	(sqrt.f64 (/.f64 c0 (*.f64 2 w)))
0.0ms	(.f64 (sqrt.f64 (/.f64 c0 (.f64 2 w))) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (.f64 w h))) 2) (sqrt.f64 (/.f64 c0 (.f64 w 2)))))

series678.0ms (0.4%)

Counts

4 → 36

Calls

4 calls:

449.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 D D) (*.f64 w h)))
121.0ms	(.f64 (.f64 D D) (*.f64 w h))
53.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w 2)))
53.0ms	(sqrt.f64 (/.f64 c0 (*.f64 2 w)))

Compiler

Compiled 2248 to 1942 computations (13.6% saved)

simplify74.0ms (0%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4989	2072
1	4989	2072

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(.f64 (.f64 (pow.f64 (/.f64 d D) 4) (sqrt.f64 (/.f64 c0 (.f64 w h)))) (sqrt.f64 (/.f64 c0 (.f64 w h))))
0.5b	(.f64 (pow.f64 (/.f64 d D) 4) (sqrt.f64 (/.f64 c0 (.f64 w h))))
0.2b	(pow.f64 (/.f64 d D) 4)
0.0b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (pow.f64 (/.f64 d D) 4) (sqrt.f64 (/.f64 c0 (.f64 w h)))) (sqrt.f64 (/.f64 c0 (.f64 w h))))) (.f64 M M))))
8.4b	(sqrt.f64 (/.f64 c0 (*.f64 w h)))
8.4b	(sqrt.f64 (/.f64 c0 (*.f64 w h)))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

rewrite48.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
47×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
18×	`pow1_binary64_1844`
15×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
14×	`sqrt-prod_binary64_1799`
10×	`add-sqr-sqrt_binary64_1805`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `pow-prod-down_binary64_1854`
7×	`times-frac_binary64_1789`
4×	`add-log-exp_binary64_1822`
3×	`div-inv_binary64_1780`
2×	`pow1/2_binary64_1863` `sqrt-div_binary64_1800` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`
1×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l_binary64_1724` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-r*_binary64_1723`

Counts

4 → 101

Calls

8 calls:

13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
4.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w h)))
4.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w h)))
0.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (pow.f64 (/.f64 d D) 4) (sqrt.f64 (/.f64 c0 (.f64 w h)))) (sqrt.f64 (/.f64 c0 (.f64 w h))))) (.f64 M M))))

series808.0ms (0.5%)

Counts

4 → 42

Calls

4 calls:

489.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
148.0ms	(.f64 (.f64 w h) (*.f64 D D))
86.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w h)))
84.0ms	(sqrt.f64 (/.f64 c0 (*.f64 w h)))

Compiler

Compiled 4484 to 2786 computations (37.9% saved)

simplify77.0ms (0%)

Algorithm

1×	egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5070	2133

localize42.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (.f64 (.f64 d d) (/.f64 c0 (.f64 w h))) (pow.f64 (/.f64 (sqrt.f64 d) D) 4))))) (*.f64 M M))
0.1b	(pow.f64 (/.f64 (sqrt.f64 d) D) 4)
0.1b	(/.f64 (sqrt.f64 d) D)
0.0b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (.f64 (.f64 d d) (/.f64 c0 (.f64 w h))) (pow.f64 (/.f64 (sqrt.f64 d) D) 4))))
13.7b	(.f64 (.f64 w h) (*.f64 D D))
16.6b	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
17.1b	(.f64 (.f64 d d) (/.f64 c0 (*.f64 w h)))
17.3b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

rewrite79.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

142×	`add-exp-log_binary64_1821`
115×	`add-cbrt-cube_binary64_1819`
74×	`prod-exp_binary64_1832`
62×	`cbrt-unprod_binary64_1816`
30×	`div-exp_binary64_1834`
26×	`add-sqr-sqrt_binary64_1805` `associate-r_binary64_1723`
21×	`cbrt-undiv_binary64_1817` `pow1_binary64_1844`
17×	`times-frac_binary64_1789`
16×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
15×	`unpow-prod-down_binary64_1862`
11×	`pow-prod-down_binary64_1854`
9×	`associate-l_binary64_1724`
6×	`unswap-sqr_binary64_1751` `pow-exp_binary64_1851`
4×	`div-inv_binary64_1780` `add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714` `pow-to-exp_binary64_1852`
2×	`sqr-pow_binary64_1755` `unpow2_binary64_1848`
1×	`associate-r/_binary64_1725` `associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l/_binary64_1726` `frac-2neg_binary64_1794` `clear-num_binary64_1782`

Counts

4 → 151

Calls

8 calls:

18.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
13.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
10.0ms	(.f64 (.f64 d d) (/.f64 c0 (*.f64 w h)))
7.0ms	(.f64 (.f64 w h) (*.f64 D D))
0.0ms	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2)) (pow.f64 (/.f64 d D) (/.f64 4 2)))) (sqrt.f64 (.f64 (.f64 (.f64 d d) (/.f64 c0 (.f64 w h))) (pow.f64 (/.f64 (sqrt.f64 d) D) 4))))

series1.4s (0.9%)

Counts

4 → 51

Calls

4 calls:

509.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
482.0ms	(.f64 (/.f64 c0 (.f64 w h)) (pow.f64 (/.f64 d D) 2))
256.0ms	(.f64 (.f64 d d) (/.f64 c0 (*.f64 w h)))
149.0ms	(.f64 (.f64 w h) (*.f64 D D))

Compiler

Compiled 7098 to 4458 computations (37.2% saved)

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5054	3245

prune22.6s (14.4%)

Pruning

509 alts after pruning (508 fresh and 1 done)

	Pruned	Kept	Total
New	654	136	790
Fresh	28	372	400
Picked	0	0	0
Done	5	1	6
Total	687	509	1196

Error

10.9b

Counts

1196 → 509

Compiler

Compiled 12451 to 4044 computations (67.5% saved)

simplify1.0s (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5017	71468

regimes41.4s (26.4%)

Compiler: Compiled 472112 to 286581 computations (39.3% saved)

bsearch90.0ms (0.1%)

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

regimes642.0ms (0.4%)

Compiler: Compiled 4344 to 4384 computations (-0.9% saved)

bsearch1.0ms (0%)

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

regimes521.0ms (0.3%)

Compiler: Compiled 3549 to 3642 computations (-2.6% saved)

bsearch1.0ms (0%)

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

regimes501.0ms (0.3%)

Compiler: Compiled 3399 to 3502 computations (-3% saved)

bsearch209.0ms (0.1%)

Steps

Iters	Range		Point
9	7.37684494996414e-161	3.227545038881849e-155	2.814635306201088e-156
9	-3.93119592530881e-77	-6.330298204594728e-85	-5.108797510719725e-84

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes395.0ms (0.3%)

Compiler: Compiled 1770 to 1955 computations (-10.5% saved)

bsearch1.0ms (0%)

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

regimes208.0ms (0.1%)

Compiler: Compiled 636 to 870 computations (-36.8% saved)

bsearch71.0ms (0%)

Steps

Iters	Range		Point
7	4.0292961787411534e+249	5.72108009060188e+251	4.0679304695238825e+251
0	0.0	1.6798231958602e-322	8.3991159793012e-323

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes161.0ms (0.1%)

Compiler: Compiled 327 to 555 computations (-69.7% saved)

bsearch194.0ms (0.1%)

Steps

Iters	Range		Point
7	-1.294384957245854e-161	-8.120692486308572e-164	-1.693808460392712e-162
7	-7.538811142123629e+126	-6.347673730384347e+124	-1.2054522051442982e+126

Compiler

Compiled 1 to 6 computations (-500% saved)

regimes56.0ms (0%)

Accuracy

Total 14.1b remaining (56.8%)

Threshold costs 0b (0%)

Compiler

Compiled 30 to 198 computations (-560% saved)

bsearch11.0ms (0%)

Compiler: Compiled 267 to 196 computations (26.6% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	113	369
1	113	369

end0.0ms (0%)

sample30.5s (19.5%)

Algorithm

1×

intervals

Results

1.1s	2143×	body	4096	valid
957.0ms	11990×	body	128	nan
750.0ms	1175×	body	8192	valid
510.0ms	1286×	body	2048	valid
330.0ms	4048×	body	128	invalid
202.0ms	623×	body	1024	valid
187.0ms	2328×	body	128	valid
71.0ms	302×	body	512	valid
26.0ms	66×	body	2048	invalid
22.0ms	143×	body	256	valid
20.0ms	58×	body	1024	invalid
11.0ms	39×	body	512	invalid
6.0ms	12×	body	4096	invalid
5.0ms	8×	body	8192	exit
4.0ms	24×	body	256	invalid

Compiler

Compiled 41760 to 25284 computations (39.5% saved)

Pareto

0.193433956721422