Details

analyze172.0ms (1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	192	22
1	192	22
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
75%	25%	0%	5
87.5%	12.5%	0%	6
93.7%	6.2%	0%	7
96.8%	3.1%	0%	8
98.4%	1.6%	0%	9
99.2%	0.8%	0%	10
99.6%	0.4%	0%	11
99.8%	0.2%	0%	12
99.9%	0.1%	0%	13
99.9%	0.1%	0.1%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample57.0ms (0.3%)

Algorithm

1×

intervals

Results

16.0ms	48×	body	512	valid
13.0ms	48×	body	1024	valid
10.0ms	133×	body	128	valid
4.0ms	27×	body	256	valid

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify25.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	192	22
1	192	22

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.8b

Counts

2 → 1

Compiler

Compiled 30 to 26 computations (13.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 x 1))
0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
2.2b	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

rewrite576.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

12.2b

Rules

112×	`*-un-lft-identity_binary64_1783`
74×	`times-frac_binary64_1789`
72×	`add-sqr-sqrt_binary64_1805`
39×	`add-cube-cbrt_binary64_1818`
26×	`cancel-sign-sub-inv_binary64_1749`
18×	`distribute-lft-out--_binary64_1735`
17×	`distribute-lft-out_binary64_1734`
14×	`associate-+l+_binary64_1716` `difference-of-squares_binary64_1752`
12×	`add-exp-log_binary64_1821`
11×	`add-log-exp_binary64_1822` `associate-/r*_binary64_1727`
10×	`div-inv_binary64_1780`
8×	`add-cbrt-cube_binary64_1819`
6×	`pow1_binary64_1844` `associate-/l*_binary64_1728`
4×	`div-exp_binary64_1834` `associate-/r/_binary64_1729` `difference-of-sqr-1_binary64_1753`
3×	`frac-add_binary64_1791` `flip3--_binary64_1787` `flip--_binary64_1758`
2×	`diff-log_binary64_1875` `sum-log_binary64_1874` `frac-sub_binary64_1792` `flip3-+_binary64_1786` `flip-+_binary64_1757` `sub-neg_binary64_1776` `inv-pow_binary64_1868` `pow-flip_binary64_1857` `1-exp_binary64_1827` `rec-exp_binary64_1833` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`associate-+l-_binary64_1718` `+-commutative_binary64_1713`

Counts

4 → 161

Calls

4 calls:

72.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
38.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
10.0ms	(/.f64 1 (-.f64 x 1))
9.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 3810 to 3089 computations (18.9% saved)

series362.0ms (2.1%)

Error

0.2b

Counts

4 → 44

Calls

4 calls:

120.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
60.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
56.0ms	(/.f64 1 (-.f64 x 1))
49.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 1590 to 1321 computations (16.9% saved)

simplify146.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4930	3185
1	4930	3185

prune713.0ms (4.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	202	3	205
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	203	3	206

Error

0.2b

Counts

206 → 3

Compiler

Compiled 4123 to 3268 computations (20.7% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))
0.2b	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1))
5.9b	(+.f64 (*.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)
11.3b	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))

rewrite873.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

30×	`*-un-lft-identity_binary64_1783`
23×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
18×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `frac-times_binary64_1793`
11×	`associate-/l/_binary64_1730` `associate-/r/_binary64_1729`
10×	`frac-add_binary64_1791` `distribute-lft-out_binary64_1734`
9×	`times-frac_binary64_1789`
8×	`add-log-exp_binary64_1822` `add-sqr-sqrt_binary64_1805` `associate-*l/_binary64_1726`
7×	`associate-r/_binary64_1725` `associate-l*_binary64_1724`
6×	`pow1_binary64_1844` `add-cube-cbrt_binary64_1818`
5×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816`
4×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817`
3×	`div-inv_binary64_1780` `associate-r_binary64_1723`
2×	`sum-log_binary64_1874` `distribute-rgt-in_binary64_1733` `associate-+l+_binary64_1716` `distribute-lft-in_binary64_1732` `+-commutative_binary64_1713`
1×	`frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/l_binary64_1728` `associate-/r_binary64_1727` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `*-commutative_binary64_1714`

Counts

4 → 107

Calls

4 calls:

121.0ms	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))
84.0ms	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1))
41.0ms	(+.f64 (*.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)
29.0ms	(+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))

Compiler

Compiled 6737 to 5408 computations (19.7% saved)

series586.0ms (3.5%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

171.0ms	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1))
149.0ms	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))
105.0ms	(+.f64 (*.f64 (+.f64 (/.f64 -2 x) (/.f64 1 (+.f64 x 1))) (+.f64 x -1)) 1)
61.0ms	(+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))

Compiler

Compiled 2618 to 2179 computations (16.8% saved)

simplify170.0ms (1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4934	5193
1	4934	5193

prune549.0ms (3.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	146	4	150

Error

0.0b

Counts

150 → 4

Compiler

Compiled 6731 to 5313 computations (21.1% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 2 (pow.f64 x 3))
0.4b	(/.f64 2 (*.f64 x x))
4.0b	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3)))) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))
6.0b	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))

rewrite1.2s (7.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

102×	`times-frac_binary64_1789`
83×	`add-sqr-sqrt_binary64_1805`
61×	`*-un-lft-identity_binary64_1783`
57×	`add-cube-cbrt_binary64_1818`
40×	`cancel-sign-sub-inv_binary64_1749`
26×	`add-exp-log_binary64_1821`
23×	`add-cbrt-cube_binary64_1819` `unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
15×	`frac-times_binary64_1793` `associate-/l/_binary64_1730`
14×	`associate-/r*_binary64_1727`
11×	`cube-mult_binary64_1813` `flip3-+_binary64_1786` `flip-+_binary64_1757` `associate-/r/_binary64_1729`
10×	`difference-of-squares_binary64_1752` `unpow3_binary64_1849`
9×	`sqr-pow_binary64_1755` `div-exp_binary64_1834`
7×	`cbrt-undiv_binary64_1817` `frac-add_binary64_1791` `associate-/l*_binary64_1728`
6×	`add-log-exp_binary64_1822` `div-inv_binary64_1780` `associate-*r/_binary64_1725`
5×	`frac-sub_binary64_1792` `flip3--_binary64_1787` `flip--_binary64_1758` `distribute-lft-out--_binary64_1735` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `associate-*l/_binary64_1726`
4×	`pow1_binary64_1844` `distribute-rgt-out--_binary64_1737`
3×	`frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 204

Calls

4 calls:

126.0ms	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3)))) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))
42.0ms	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))
10.0ms	(/.f64 2 (pow.f64 x 3))
8.0ms	(/.f64 2 (*.f64 x x))

Compiler

Compiled 9855 to 7390 computations (25% saved)

series374.0ms (2.2%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

125.0ms	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))
109.0ms	(/.f64 (.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3)))) (*.f64 (+.f64 x -1) (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1)))))
60.0ms	(/.f64 2 (pow.f64 x 3))
43.0ms	(/.f64 2 (*.f64 x x))

Compiler

Compiled 1200 to 983 computations (18.1% saved)

simplify116.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5183	5147

prune890.0ms (5.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	217	2	219
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	217	6	223

Error

Counts

223 → 6

Compiler

Compiled 9437 to 7022 computations (25.6% saved)

localize47.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 2 (*.f64 x x))
6.0b	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))
13.1b	(.f64 (+.f64 (.f64 2 (+.f64 x 1)) (.f64 x 1)) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3))))
13.4b	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 x x) -1))

rewrite1.7s (9.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

167×	`times-frac_binary64_1789`
140×	`add-sqr-sqrt_binary64_1805`
120×	`cancel-sign-sub-inv_binary64_1749`
104×	`*-un-lft-identity_binary64_1783`
84×	`add-cube-cbrt_binary64_1818`
42×	`distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732`
31×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
26×	`associate-r_binary64_1723`
20×	`difference-of-squares_binary64_1752`
17×	`cube-mult_binary64_1813`
15×	`unpow3_binary64_1849`
13×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755`
12×	`frac-times_binary64_1793`
11×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
10×	`associate-l_binary64_1724` `distribute-lft-out--_binary64_1735`
9×	`div-inv_binary64_1780`
8×	`pow1_binary64_1844` `distribute-rgt-out--_binary64_1737`
6×	`add-log-exp_binary64_1822`
5×	`associate-l/_binary64_1726` `associate-r/_binary64_1725` `distribute-lft-out_binary64_1734`
4×	`frac-sub_binary64_1792` `flip3--_binary64_1787` `flip--_binary64_1758`
3×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-add_binary64_1791` `sub-neg_binary64_1776` `associate-/l*_binary64_1728`
2×	`pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `*-commutative_binary64_1714` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817`
1×	`difference-of-sqr--1_binary64_1754` `diff-log_binary64_1875` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/r*_binary64_1727`

Counts

4 → 258

Calls

4 calls:

74.0ms	(.f64 (+.f64 (.f64 2 (+.f64 x 1)) (.f64 x 1)) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3))))
49.0ms	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))
43.0ms	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 x x) -1))
8.0ms	(/.f64 2 (*.f64 x x))

Compiler

Compiled 14103 to 10112 computations (28.3% saved)

series418.0ms (2.5%)

Error

Counts

4 → 23

Calls

4 calls:

112.0ms	(-.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 (pow.f64 x 3)))
108.0ms	(.f64 (+.f64 (.f64 2 (+.f64 x 1)) (.f64 x 1)) (-.f64 (/.f64 2 (.f64 x x)) (/.f64 2 (pow.f64 x 3))))
95.0ms	(.f64 (+.f64 (/.f64 2 x) (/.f64 1 (+.f64 x 1))) (+.f64 (.f64 x x) -1))
44.0ms	(/.f64 2 (*.f64 x x))

Compiler

Compiled 1970 to 1532 computations (22.2% saved)

simplify230.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

281 → 281

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4974	8495
1	4974	8495

prune1.5s (9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	281	0	281
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	281	6	287

Error

Counts

287 → 6

Compiler

Compiled 13274 to 9329 computations (29.7% saved)

regimes829.0ms (4.9%)

Accuracy

Total 0.3b remaining (98.7%)

Threshold costs 0.3b (98.7%)

Compiler

Compiled 4943 to 4069 computations (17.7% saved)

bsearch78.0ms (0.5%)

Steps

Iters	Range		Point
9	0.20399754887421748	23033.462253650297	604.3633384530846
10	-4161743171.7642694	-0.00883836587369371	-17522.19903136883

Compiler

Compiled 1 to 1 computations (0% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	129	111
1	129	111

end0.0ms (0%)

sample5.2s (30.8%)

Algorithm

1×

intervals

Results

363.0ms	1312×	body	1024	valid
323.0ms	4529×	body	128	valid
290.0ms	1399×	body	512	valid
106.0ms	760×	body	256	valid

Compiler

Compiled 2492 to 2045 computations (17.9% saved)

Details

analyze172.0ms (1%)

sample57.0ms (0.3%)

simplify25.0ms (0.1%)

prune5.0ms (0%)

localize19.0ms (0.1%)

rewrite576.0ms (3.4%)

series362.0ms (2.1%)

simplify146.0ms (0.9%)

prune713.0ms (4.2%)

localize30.0ms (0.2%)

rewrite873.0ms (5.1%)

series586.0ms (3.5%)

simplify170.0ms (1%)

prune549.0ms (3.2%)

localize35.0ms (0.2%)

rewrite1.2s (7.3%)

series374.0ms (2.2%)

simplify116.0ms (0.7%)

prune890.0ms (5.2%)

localize47.0ms (0.3%)

rewrite1.7s (9.9%)

series418.0ms (2.5%)

simplify230.0ms (1.4%)

prune1.5s (9%)

regimes829.0ms (4.9%)

bsearch78.0ms (0.5%)

simplify7.0ms (0%)

end0.0ms (0%)

sample5.2s (30.8%)

Profiling