Details

analyze684.0ms (6.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4937	96
1	4937	96
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample42.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	172×	body	128	valid
9.0ms	35×	body	2048	valid
4.0ms	15×	body	4096	valid
4.0ms	19×	body	1024	valid
2.0ms	9×	body	512	valid
1.0ms	24×	body	128	nan
1.0ms	13×	body	128	invalid
1.0ms	6×	body	256	valid

Compiler

Compiled 35 to 32 computations (8.6% saved)

simplify292.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (287.0ms)

Iter	Nodes	Cost
0	1802	24
1	1802	24

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

35.0b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
24.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite153.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

34.8b

Rules

21×	`add-sqr-sqrt_binary64_1805`
14×	`*-un-lft-identity_binary64_1783`
9×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
8×	`add-log-exp_binary64_1822` `add-cube-cbrt_binary64_1818`
6×	`sqrt-prod_binary64_1799` `difference-of-squares_binary64_1752` `times-frac_binary64_1789` `associate-/l*_binary64_1728`
5×	`pow1_binary64_1844`
4×	`flip3--_binary64_1787` `flip--_binary64_1758` `cancel-sign-sub-inv_binary64_1749`
3×	`distribute-lft-out--_binary64_1735`
2×	`sqrt-div_binary64_1800` `diff-log_binary64_1875` `sub-neg_binary64_1776` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `associate-/l/_binary64_1730`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-2neg_binary64_1794` `div-sub_binary64_1788` `clear-num_binary64_1782` `div-inv_binary64_1780` `associate-/r*_binary64_1727`

Counts

4 → 74

Calls

4 calls:

12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 2100 to 1220 computations (41.9% saved)

series673.0ms (6.5%)

Error

7.1b

Counts

4 → 66

Calls

4 calls:

193.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))) b) (.f64 3 a))
155.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
135.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
130.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Compiler

Compiled 2923 to 2244 computations (23.2% saved)

simplify69.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5512	2723

prune154.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	128	12	140
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	128	13	141

Error

7.1b

Counts

141 → 13

Compiler

Compiled 2929 to 1597 computations (45.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 a c))
0.4b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
1.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
24.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite90.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

7.1b

Rules

12×	`add-sqr-sqrt_binary64_1805`
10×	`pow1_binary64_1844`
9×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `*-un-lft-identity_binary64_1783`
8×	`add-log-exp_binary64_1822`
7×	`add-cube-cbrt_binary64_1818`
4×	`sqrt-prod_binary64_1799` `cancel-sign-sub-inv_binary64_1749`
3×	`flip3--_binary64_1787` `flip--_binary64_1758` `pow-prod-down_binary64_1854` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `associate-l_binary64_1724`
2×	`sqrt-div_binary64_1800` `diff-log_binary64_1875` `sub-neg_binary64_1776` `difference-of-squares_binary64_1752`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796` `distribute-lft-out--_binary64_1735` `associate-r_binary64_1723` `*-commutative_binary64_1714`

Counts

4 → 62

Calls

4 calls:

8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
5.0ms	(.f64 3 (.f64 a c))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 1583 to 833 computations (47.4% saved)

series540.0ms (5.2%)

Error

7.0b

Counts

4 → 57

Calls

4 calls:

150.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
145.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))) b)
141.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
57.0ms	(.f64 3 (.f64 a c))

Compiler

Compiled 2549 to 1928 computations (24.4% saved)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4935	1770
1	4935	1770

prune116.0ms (1.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	120	12	132

Error

6.9b

Counts

132 → 12

Compiler

Compiled 2422 to 1331 computations (45% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 1/3 a)
0.4b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
1.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
24.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

rewrite110.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

19×	`add-sqr-sqrt_binary64_1805`
16×	`*-un-lft-identity_binary64_1783`
14×	`add-cube-cbrt_binary64_1818`
9×	`times-frac_binary64_1789`
8×	`add-log-exp_binary64_1822`
6×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
5×	`pow1_binary64_1844`
4×	`sqrt-prod_binary64_1799` `cancel-sign-sub-inv_binary64_1749`
3×	`flip3--_binary64_1787` `flip--_binary64_1758` `associate-/l_binary64_1728` `associate-/r_binary64_1727`
2×	`sqrt-div_binary64_1800` `diff-log_binary64_1875` `sub-neg_binary64_1776` `difference-of-squares_binary64_1752`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796` `distribute-lft-out--_binary64_1735` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780`

Counts

4 → 71

Calls

4 calls:

11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
3.0ms	(/.f64 1/3 a)

Compiler

Compiled 1789 to 1054 computations (41.1% saved)

series489.0ms (4.7%)

Error

6.9b

Counts

4 → 54

Calls

4 calls:

158.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
137.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))) b)
135.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
19.0ms	(/.f64 1/3 a)

Compiler

Compiled 2405 to 1829 computations (24% saved)

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5097	1835

prune127.0ms (1.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	4	6	10
Picked	0	1	1
Done	0	1	1
Total	127	10	137

Error

6.9b

Counts

137 → 10

Compiler

Compiled 2544 to 1428 computations (43.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a))
0.4b	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
7.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
24.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

rewrite145.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

15×	`*-un-lft-identity_binary64_1783`
14×	`add-sqr-sqrt_binary64_1805`
11×	`add-cube-cbrt_binary64_1818` `times-frac_binary64_1789`
9×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `sqrt-prod_binary64_1799`
8×	`add-log-exp_binary64_1822` `cancel-sign-sub-inv_binary64_1749`
6×	`associate-/l*_binary64_1728`
5×	`pow1_binary64_1844`
4×	`flip3--_binary64_1787` `sqrt-div_binary64_1800` `flip--_binary64_1758` `div-inv_binary64_1780`
2×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `distribute-lft-out--_binary64_1735` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `associate-/l/_binary64_1730`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796` `frac-sub_binary64_1792` `sub-div_binary64_1790` `difference-of-squares_binary64_1752` `distribute-rgt-out--_binary64_1737` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/r*_binary64_1727`

Counts

4 → 80

Calls

4 calls:

16.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
9.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a))
5.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))

Compiler

Compiled 2581 to 1446 computations (44% saved)

series795.0ms (7.7%)

Error

6.9b

Counts

4 → 69

Calls

4 calls:

239.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a)) (/.f64 b (*.f64 3 a)))
211.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (.f64 a c)))) (.f64 3 a))
153.0ms	(-.f64 (.f64 b b) (.f64 3 (*.f64 a c)))
135.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 3 (*.f64 a c))))

Compiler

Compiled 3548 to 2712 computations (23.6% saved)

simplify109.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4947	2970
1	4947	2970

prune152.0ms (1.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	149	10	159

Error

6.9b

Counts

159 → 10

Compiler

Compiled 3390 to 1883 computations (44.5% saved)

regimes2.3s (22%)

Accuracy

Total 4.5b remaining (45.2%)

Threshold costs 0b (0%)

Compiler

Compiled 11765 to 8983 computations (23.6% saved)

bsearch64.0ms (0.6%)

Steps

Iters	Range		Point
9	1.2340690034875957e-60	2.6011802215562668e-54	3.593857551700725e-59
7	-4.786671456711295e+111	-1.4713339076117707e+110	-4.187103196960928e+110

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	88	59
1	88	59

end0.0ms (0%)

sample3.1s (29.5%)

Algorithm

1×

intervals

Results

281.0ms	5182×	body	128	valid
273.0ms	1110×	body	2048	valid
150.0ms	771×	body	1024	valid
129.0ms	419×	body	4096	valid
50.0ms	350×	body	512	valid
32.0ms	673×	body	128	nan
24.0ms	423×	body	128	invalid
16.0ms	168×	body	256	valid

Compiler

Compiled 2207 to 1691 computations (23.4% saved)

Details

analyze684.0ms (6.6%)

sample42.0ms (0.4%)

simplify292.0ms (2.8%)

prune8.0ms (0.1%)

localize10.0ms (0.1%)

rewrite153.0ms (1.5%)

series673.0ms (6.5%)

simplify69.0ms (0.7%)

prune154.0ms (1.5%)

localize10.0ms (0.1%)

rewrite90.0ms (0.9%)

series540.0ms (5.2%)

simplify89.0ms (0.9%)

prune116.0ms (1.1%)

localize11.0ms (0.1%)

rewrite110.0ms (1.1%)

series489.0ms (4.7%)

simplify67.0ms (0.7%)

prune127.0ms (1.2%)

localize12.0ms (0.1%)

rewrite145.0ms (1.4%)

series795.0ms (7.7%)

simplify109.0ms (1.1%)

prune152.0ms (1.5%)

regimes2.3s (22%)

bsearch64.0ms (0.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample3.1s (29.5%)

Profiling