Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample35.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	197×	body	128	valid
4.0ms	256×	pre	128	true
3.0ms	24×	body	1024	valid
2.0ms	24×	body	512	valid
0.0ms	8×	body	256	valid
0.0ms	3×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify445.0ms (5.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (322.0ms)

Iter	Nodes	Cost
0	5018	19

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

14.7b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
0.9b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite142.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

13.9b

Rules

58×	`*-un-lft-identity_binary64_1783`
26×	`add-sqr-sqrt_binary64_1805`
25×	`times-frac_binary64_1789`
19×	`distribute-lft-out_binary64_1734`
14×	`add-cube-cbrt_binary64_1818`
6×	`difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
5×	`associate-/l_binary64_1728` `associate-/r_binary64_1727`
4×	`add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
2×	`pow1_binary64_1844` `flip3-+_binary64_1786` `flip-+_binary64_1757` `div-sub_binary64_1788` `associate-/l/_binary64_1730` `associate-/r/_binary64_1729`
1×	`sum-log_binary64_1874` `associate-+l-_binary64_1718` `+-commutative_binary64_1713` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780` `flip3--_binary64_1787` `flip--_binary64_1758`

Counts

2 → 65

Calls

2 calls:

36.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
18.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1500 to 803 computations (46.5% saved)

series642.0ms (8.3%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

313.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
211.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 3988 to 3205 computations (19.6% saved)

simplify65.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5023	3850

prune189.0ms (2.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	109	4	113
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	5	114

Error

0.0b

Counts

114 → 5

Compiler

Compiled 3340 to 2028 computations (39.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 2 (+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta))))
0.0b	(*.f64 2 (/.f64 alpha beta))
0.0b	(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))

rewrite106.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-sqr-sqrt_binary64_1805`
14×	`*-un-lft-identity_binary64_1783`
13×	`associate-r_binary64_1723`
12×	`add-cube-cbrt_binary64_1818`
10×	`add-log-exp_binary64_1822` `times-frac_binary64_1789`
8×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
5×	`pow1_binary64_1844`
4×	`cancel-sign-sub-inv_binary64_1749`
3×	`div-inv_binary64_1780` `associate-l_binary64_1724`
2×	`sum-log_binary64_1874` `associate-*r/_binary64_1725` `distribute-lft-out_binary64_1734` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `unswap-sqr_binary64_1751` `diff-log_binary64_1875`
1×	`frac-add_binary64_1791` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713` `pow-prod-down_binary64_1854` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `*-commutative_binary64_1714` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735` `associate--r+_binary64_1719`

Counts

3 → 64

Calls

3 calls:

14.0ms	(-.f64 2 (+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta))))
9.0ms	(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))
7.0ms	(*.f64 2 (/.f64 alpha beta))

Compiler

Compiled 1375 to 938 computations (31.8% saved)

series361.0ms (4.6%)

Error

0.0b

Counts

3 → 25

Calls

3 calls:

155.0ms	(-.f64 2 (+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta))))
107.0ms	(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))
68.0ms	(*.f64 2 (/.f64 alpha beta))

Compiler

Compiled 808 to 715 computations (11.5% saved)

simplify84.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4949	1189
1	4949	1189

prune106.0ms (1.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	89	5	94

Error

0.0b

Counts

94 → 5

Compiler

Compiled 1610 to 1119 computations (30.5% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

rewrite45.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `times-frac_binary64_1789` `*-un-lft-identity_binary64_1783`
3×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `associate-/l_binary64_1728` `associate-/r_binary64_1727`
2×	`associate-/l/_binary64_1730`
1×	`pow1_binary64_1844` `div-exp_binary64_1834` `add-log-exp_binary64_1822` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780` `flip3-+_binary64_1786` `flip-+_binary64_1757`

Counts

1 → 29

Calls

1 calls:

5.0ms

(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

Compiler

Compiled 527 to 407 computations (22.8% saved)

series103.0ms (1.3%)

Error

0.0b

Counts

1 → 9

Calls

1 calls:

97.0ms

(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

Compiler

Compiled 236 to 209 computations (11.4% saved)

simplify82.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5423	571

prune72.0ms (0.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	38	5	43

Error

0.0b

Counts

43 → 5

Compiler

Compiled 698 to 523 computations (25.1% saved)

localize35.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))
2.0b	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
6.3b	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
8.2b	(/.f64 beta (*.f64 alpha alpha))

rewrite540.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

49×	`add-sqr-sqrt_binary64_1805`
44×	`associate-*r/_binary64_1725`
43×	`times-frac_binary64_1789`
39×	`frac-add_binary64_1791`
37×	`*-un-lft-identity_binary64_1783`
35×	`add-cube-cbrt_binary64_1818`
30×	`add-log-exp_binary64_1822`
21×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `frac-sub_binary64_1792`
15×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
13×	`swap-sqr_binary64_1750` `associate-l_binary64_1724` `associate-r_binary64_1723`
12×	`sum-log_binary64_1874`
11×	`pow1_binary64_1844`
6×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `diff-log_binary64_1875`
5×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `div-inv_binary64_1780` `frac-times_binary64_1793` `associate-*l/_binary64_1726`
4×	`unswap-sqr_binary64_1751`
3×	`associate-/l*_binary64_1728` `cancel-sign-sub-inv_binary64_1749`
1×	`frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/r_binary64_1727` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735` `associate--l+_binary64_1720` `associate--r+_binary64_1719` `associate-+r+_binary64_1715` `+-commutative_binary64_1713` `pow2_binary64_1864` `pow-prod-down_binary64_1854` `pow-prod-up_binary64_1853` `pow-plus_binary64_1846` `pow-sqr_binary64_1756` `-commutative_binary64_1714`

Counts

4 → 150

Calls

4 calls:

32.0ms	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
28.0ms	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
15.0ms	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))
9.0ms	(/.f64 beta (*.f64 alpha alpha))

Compiler

Compiled 9240 to 4115 computations (55.5% saved)

series1.1s (13.6%)

Error

0.0b

Counts

4 → 37

Calls

4 calls:

500.0ms	(-.f64 (+.f64 (.f64 2 (/.f64 beta alpha)) (/.f64 2 alpha)) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
283.0ms	(+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (*.f64 (/.f64 beta alpha) (/.f64 beta alpha)))))
110.0ms	(/.f64 beta (*.f64 alpha alpha))
103.0ms	(*.f64 (/.f64 beta alpha) (/.f64 beta alpha))

Compiler

Compiled 2994 to 2265 computations (24.3% saved)

simplify131.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4996	7710
1	4996	7710

prune475.0ms (6.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	187	0	187
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	187	5	192

Error

0.0b

Counts

192 → 5

Compiler

Compiled 9017 to 4276 computations (52.6% saved)

regimes687.0ms (8.8%)

Accuracy

Total 0.1b remaining (79.1%)

Threshold costs 0.1b (79.1%)

Compiler

Compiled 6715 to 5164 computations (23.1% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	138	90
1	138	90

end0.0ms (0%)

sample2.3s (30.1%)

Algorithm

1×

intervals

Results

241.0ms	5976×	body	128	valid
164.0ms	8000×	pre	128	true
149.0ms	987×	body	1024	valid
77.0ms	613×	body	512	valid
29.0ms	330×	body	256	valid
18.0ms	94×	body	2048	valid

Compiler

Compiled 1350 to 1031 computations (23.6% saved)

Details

analyze3.0ms (0%)

sample35.0ms (0.4%)

simplify445.0ms (5.7%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite142.0ms (1.8%)

series642.0ms (8.3%)

simplify65.0ms (0.8%)

prune189.0ms (2.4%)

localize8.0ms (0.1%)

rewrite106.0ms (1.4%)

series361.0ms (4.6%)

simplify84.0ms (1.1%)

prune106.0ms (1.4%)

localize6.0ms (0.1%)

rewrite45.0ms (0.6%)

series103.0ms (1.3%)

simplify82.0ms (1.1%)

prune72.0ms (0.9%)

localize35.0ms (0.4%)

rewrite540.0ms (6.9%)

series1.1s (13.6%)

simplify131.0ms (1.7%)

prune475.0ms (6.1%)

regimes687.0ms (8.8%)

bsearch3.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.3s (30.1%)

Profiling