Details

analyze246.0ms (0.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	28.1%	71.9%	0
0%	28.1%	71.9%	1
0%	28.1%	71.9%	2
0%	28.1%	71.9%	3
3.5%	24.6%	71.9%	4
5.3%	22.8%	71.9%	5
10.5%	17.5%	71.9%	6
14%	14%	71.9%	7
19.1%	9%	71.9%	8
24.6%	3.5%	71.9%	9
25.1%	3%	71.9%	10
25.8%	2.3%	71.9%	11
26.3%	1.8%	71.9%	12
26.6%	1.5%	71.9%	13
26.9%	1.2%	71.9%	14

Compiler

Compiled 39 to 27 computations (30.8% saved)

sample75.0ms (0.2%)

Algorithm

1×

intervals

Results

24.0ms	212×	body	128	valid
10.0ms	256×	pre	128	true
10.0ms	21×	body	1024	valid
5.0ms	14×	body	512	valid
2.0ms	8×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 68 to 50 computations (26.5% saved)

simplify289.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	5371	43

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

24.7b

Counts

2 → 1

Compiler

Compiled 58 to 40 computations (31% saved)

localize26.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b

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

1.2b

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

22.5b

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

rewrite623.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

10.8b

Rules

54×	`times-frac_binary64_1789`
47×	`*-un-lft-identity_binary64_1783`
25×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805`
17×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
14×	`associate-/r/_binary64_1729`
11×	`flip3-+_binary64_1786` `flip-+_binary64_1757` `distribute-lft-out_binary64_1734`
10×	`associate-/l*_binary64_1728`
9×	`associate-/l/_binary64_1730`
7×	`div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `div-inv_binary64_1780` `associate-/r*_binary64_1727`
5×	`add-log-exp_binary64_1822`
4×	`frac-times_binary64_1793`
3×	`pow1_binary64_1844` `flip3--_binary64_1787` `flip--_binary64_1758`
2×	`prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-l/_binary64_1726` `associate-r/_binary64_1725`
1×	`sum-log_binary64_1874` `+-commutative_binary64_1713`

Counts

3 → 111

Calls

3 calls:

69.0ms

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

52.0ms

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

32.0ms

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

Compiler

Compiled 5370 to 2710 computations (49.5% saved)

series5.6s (15.3%)

Error

0.4b

Counts

3 → 71

Calls

3 calls:

2.7s

(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

2.0s

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

458.0ms

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

Compiler

Compiled 13921 to 10804 computations (22.4% saved)

simplify267.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (113.0ms)

Iter	Nodes	Cost
0	4974	11846
1	4974	11846

prune930.0ms (2.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	180	2	182
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	181	2	183

Error

0.0b

Counts

183 → 2

Compiler

Compiled 9871 to 5507 computations (44.2% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))
0.1b	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
0.1b	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))
1.2b	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)

rewrite565.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`*-un-lft-identity_binary64_1783`
45×	`add-sqr-sqrt_binary64_1805`
35×	`times-frac_binary64_1789`
26×	`add-cube-cbrt_binary64_1818`
21×	`associate-r_binary64_1723`
20×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
8×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
7×	`difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735` `associate-/l/_binary64_1730` `associate-/r*_binary64_1727`
6×	`add-log-exp_binary64_1822` `pow1_binary64_1844` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `associate-/r/_binary64_1729` `associate-/l*_binary64_1728`
4×	`distribute-lft-out_binary64_1734` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-times_binary64_1793` `associate-l/_binary64_1726` `associate-l*_binary64_1724`
3×	`div-inv_binary64_1780`
2×	`unswap-sqr_binary64_1751` `associate-*r/_binary64_1725` `frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`sum-log_binary64_1874` `+-commutative_binary64_1713` `pow-prod-down_binary64_1854` `*-commutative_binary64_1714` `div-sub_binary64_1788` `flip3--_binary64_1787` `flip--_binary64_1758`

Counts

4 → 129

Calls

4 calls:

54.0ms	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
53.0ms	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
40.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))
23.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))

Compiler

Compiled 5642 to 2885 computations (48.9% saved)

series6.4s (17.4%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

2.7s	(+.f64 (/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
2.0s	(/.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
433.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 beta alpha)))
424.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (+.f64 (.f64 2 i) (+.f64 beta alpha))))

Compiler

Compiled 16840 to 12914 computations (23.3% saved)

simplify227.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5206	12046

prune1.1s (3.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	224	1	225
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	224	3	227

Error

0.0b

Counts

227 → 3

Compiler

Compiled 11434 to 6604 computations (42.2% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))
0.1b	(.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta))))
1.2b	(+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
1.2b	(log.f64 (exp.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))))

rewrite576.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

53×	`*-un-lft-identity_binary64_1783`
32×	`add-sqr-sqrt_binary64_1805`
26×	`times-frac_binary64_1789` `associate-r_binary64_1723`
19×	`add-cube-cbrt_binary64_1818`
18×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
14×	`distribute-lft-out_binary64_1734`
7×	`pow1_binary64_1844` `flip3-+_binary64_1786` `flip-+_binary64_1757`
6×	`add-log-exp_binary64_1822`
5×	`log-pow_binary64_1872` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `associate-/l/_binary64_1730` `associate-/r*_binary64_1727`
4×	`exp-prod_binary64_1835` `log-prod_binary64_1869` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `frac-times_binary64_1793` `associate-l/_binary64_1726` `associate-l*_binary64_1724` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735` `associate-/r/_binary64_1729`
2×	`unswap-sqr_binary64_1751` `associate-*r/_binary64_1725` `div-inv_binary64_1780`
1×	`exp-sum_binary64_1829` `rem-log-exp_binary64_1824` `sum-log_binary64_1874` `+-commutative_binary64_1713` `pow-prod-down_binary64_1854` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/l_binary64_1728`

Counts

4 → 113

Calls

4 calls:

44.0ms	(/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))
43.0ms	(.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta))))
28.0ms	(log.f64 (exp.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))))
27.0ms	(+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))

Compiler

Compiled 5317 to 3195 computations (39.9% saved)

series10.0s (27.1%)

Error

0.0b

Counts

4 → 91

Calls

4 calls:

4.6s	(log.f64 (exp.f64 (+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))))
2.3s	(+.f64 1 (/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta)))))
1.9s	(/.f64 (.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta)))) (+.f64 2 (+.f64 alpha (+.f64 (*.f64 2 i) beta))))
520.0ms	(.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 alpha (+.f64 (.f64 2 i) beta))))

Compiler

Compiled 18082 to 14239 computations (21.3% saved)

simplify224.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5534	12284

prune1.0s (2.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	204	3	207

Error

0.0b

Counts

207 → 3

Compiler

Compiled 11008 to 6696 computations (39.2% saved)

localize17.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 (.f64 i 4) (+.f64 2 (.f64 beta 2))) alpha)

rewrite83.0ms (0.2%)

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:

16.0ms

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

Compiler

Compiled 739 to 567 computations (23.3% saved)

series374.0ms (1%)

Error

0.0b

Counts

1 → 15

Calls

1 calls:

350.0ms

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

Compiler

Compiled 551 to 471 computations (14.5% saved)

simplify166.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	4931	958
1	4931	958

prune86.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	43	4	47

Error

0.0b

Counts

47 → 4

Compiler

Compiled 862 to 638 computations (26% saved)

regimes2.3s (6.2%)

Accuracy

Total 1.6b remaining (88.8%)

Threshold costs 0b (0%)

Compiler

Compiled 18641 to 13255 computations (28.9% saved)

bsearch10.0ms (0%)

Compiler: Compiled 25 to 16 computations (36% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	52	110
1	52	110

end0.0ms (0%)

sample5.5s (14.9%)

Algorithm

1×

intervals

Results

680.0ms	6437×	body	128	valid
306.0ms	8000×	pre	128	true
301.0ms	695×	body	1024	valid
172.0ms	522×	body	512	valid
65.0ms	291×	body	256	valid
29.0ms	55×	body	2048	valid

Compiler

Compiled 2713 to 1921 computations (29.2% saved)

Details

analyze246.0ms (0.7%)

sample75.0ms (0.2%)

simplify289.0ms (0.8%)

prune6.0ms (0%)

localize26.0ms (0.1%)

rewrite623.0ms (1.7%)

series5.6s (15.3%)

simplify267.0ms (0.7%)

prune930.0ms (2.5%)

localize30.0ms (0.1%)

rewrite565.0ms (1.5%)

series6.4s (17.4%)

simplify227.0ms (0.6%)

prune1.1s (3.1%)

localize35.0ms (0.1%)

rewrite576.0ms (1.6%)

series10.0s (27.1%)

simplify224.0ms (0.6%)

prune1.0s (2.8%)

localize17.0ms (0%)

rewrite83.0ms (0.2%)

series374.0ms (1%)

simplify166.0ms (0.5%)

prune86.0ms (0.2%)

regimes2.3s (6.2%)

bsearch10.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.5s (14.9%)

Profiling