Details

Time bar (total: 29.3s)

analyze50.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%14%86%0
0%14%86%1
0%14%86%2
0%14%86%3
0%14%86%4
0%14%86%5
0%14%86%6
8.1%5.9%86%7
10.3%3.7%86%8
12.6%1.5%86%9
13.9%0.1%86%10
14%0%86%11
14%0%86%12
14%0%86%13
14%0%86%14
Compiler

Compiled 63 to 34 computations (46% saved)

sample37.0ms (0.1%)

Algorithm
1×intervals
Results
20.0ms256×body128valid
6.0ms256×pre128true
Compiler

Compiled 116 to 64 computations (44.8% saved)

simplify207.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0539579

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 53.8b

Counts
2 → 1
Compiler

Compiled 106 to 54 computations (49.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
0.1b
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
34.6b
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
46.1b
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

rewrite171.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
86×times-frac_binary64_1805
66×associate-/r/_binary64_1745 flip3-+_binary64_1802 flip-+_binary64_1773
61×add-cbrt-cube_binary64_1835 add-exp-log_binary64_1837
46×add-sqr-sqrt_binary64_1821
44×*-un-lft-identity_binary64_1799 frac-times_binary64_1809
34×associate-*r/_binary64_1741
30×add-cube-cbrt_binary64_1834
28×difference-of-squares_binary64_1768
22×prod-exp_binary64_1848 cbrt-unprod_binary64_1832 associate-*l/_binary64_1742
19×div-exp_binary64_1850 cbrt-undiv_binary64_1833
16×pow1_binary64_1860
14×associate-/l*_binary64_1744 difference-of-sqr-1_binary64_1769
9×associate-/l/_binary64_1746 div-inv_binary64_1796
7×associate-/r*_binary64_1743
6×associate-*r*_binary64_1739
4×add-log-exp_binary64_1838 associate-*l*_binary64_1740 pow-prod-down_binary64_1870
3×swap-sqr_binary64_1766
2×distribute-rgt-in_binary64_1749 clear-num_binary64_1798 distribute-lft-in_binary64_1748 frac-2neg_binary64_1810 *-commutative_binary64_1730
1×pow2_binary64_1880 pow-sqr_binary64_1772 unswap-sqr_binary64_1767 flip--_binary64_1774 flip3--_binary64_1803 pow-prod-up_binary64_1869 pow-plus_binary64_1862
Counts
4 → 228
Calls

4 calls:

48.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
34.0ms
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
17.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
15.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

series3.7s (12.5%)

Counts
4 → 12
Calls

4 calls:

2.9s
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
402.0ms
(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
220.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
105.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify152.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
0525518181

prune1.1s (3.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2346240
Fresh000
Picked101
Done000
Total2356241

Merged error: 32.0b

Counts
241 → 6
Compiler

Compiled 27026 to 11256 computations (58.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
0.1b
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
31.7b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
31.9b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite298.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
414×times-frac_binary64_1805
314×add-sqr-sqrt_binary64_1821
280×*-un-lft-identity_binary64_1799
169×add-cube-cbrt_binary64_1834
111×associate-*r*_binary64_1739
70×add-cbrt-cube_binary64_1835 add-exp-log_binary64_1837
62×difference-of-squares_binary64_1768
48×associate-/r/_binary64_1745
42×associate-*l*_binary64_1740
33×div-exp_binary64_1850 cbrt-undiv_binary64_1833
31×difference-of-sqr-1_binary64_1769 distribute-lft-out--_binary64_1751
24×div-inv_binary64_1796 flip3-+_binary64_1802 flip-+_binary64_1773
19×associate-/l*_binary64_1744
16×prod-exp_binary64_1848 cbrt-unprod_binary64_1832
13×associate-/r*_binary64_1743
9×distribute-lft-out_binary64_1750
6×pow1_binary64_1860 unswap-sqr_binary64_1767
5×associate-/l/_binary64_1746
4×add-log-exp_binary64_1838
3×clear-num_binary64_1798 frac-2neg_binary64_1810 associate-*r/_binary64_1741
2×flip--_binary64_1774 flip3--_binary64_1803
1×*-commutative_binary64_1730 pow-prod-down_binary64_1870 frac-times_binary64_1809 associate-*l/_binary64_1742
Counts
4 → 395
Calls

4 calls:

135.0ms
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
29.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
18.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
12.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series3.9s (13.4%)

Counts
4 → 12
Calls

4 calls:

3.2s
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
387.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
220.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
132.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify230.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
407 → 407
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0513930002

prune1.9s (6.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4034407
Fresh235
Picked101
Done000
Total4067413

Merged error: 32.0b

Counts
413 → 7
Compiler

Compiled 38599 to 16391 computations (57.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite695.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Rules
1927×times-frac_binary64_1805
1182×add-sqr-sqrt_binary64_1821
1048×*-un-lft-identity_binary64_1799
709×add-cube-cbrt_binary64_1834
335×associate-*r*_binary64_1739
220×add-exp-log_binary64_1837
210×difference-of-squares_binary64_1768
128×div-exp_binary64_1850
121×associate-/r/_binary64_1745
116×associate-/r*_binary64_1743
105×difference-of-sqr-1_binary64_1769 distribute-lft-out--_binary64_1751
100×add-cbrt-cube_binary64_1835
65×div-inv_binary64_1796
58×flip3-+_binary64_1802 flip-+_binary64_1773
53×cbrt-undiv_binary64_1833
51×prod-exp_binary64_1848
42×associate-*l*_binary64_1740
21×cbrt-unprod_binary64_1832
15×rec-exp_binary64_1849 1-exp_binary64_1843
14×unswap-sqr_binary64_1767
9×distribute-lft-out_binary64_1750
7×pow1_binary64_1860 associate-/l*_binary64_1744
4×add-log-exp_binary64_1838 associate-/l/_binary64_1746
3×clear-num_binary64_1798 frac-2neg_binary64_1810 associate-*r/_binary64_1741
1×un-div-inv_binary64_1797 pow-flip_binary64_1873 *-commutative_binary64_1730 pow-prod-down_binary64_1870 inv-pow_binary64_1884 frac-times_binary64_1809 associate-*l/_binary64_1742
Counts
4 → 984
Calls

4 calls:

306.0ms
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
46.0ms
(/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))))
15.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
13.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series3.9s (13.3%)

Counts
4 → 12
Calls

4 calls:

3.1s
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))))))
400.0ms
(/.f64 1 (/.f64 (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))))
225.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
135.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify569.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
996 → 996
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
0567181377

prune5.4s (18.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New9960996
Fresh066
Picked011
Done000
Total99671003

Merged error: 32.0b

Counts
1003 → 7
Compiler

Compiled 85954 to 36693 computations (57.3% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite234.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
190×times-frac_binary64_1805
152×add-sqr-sqrt_binary64_1821
132×*-un-lft-identity_binary64_1799
111×associate-*r*_binary64_1739
94×add-cbrt-cube_binary64_1835 add-exp-log_binary64_1837
83×add-cube-cbrt_binary64_1834
43×div-exp_binary64_1850 cbrt-undiv_binary64_1833
30×difference-of-squares_binary64_1768
25×prod-exp_binary64_1848 cbrt-unprod_binary64_1832
24×associate-/r/_binary64_1745
15×difference-of-sqr-1_binary64_1769 distribute-lft-out--_binary64_1751
13×flip3-+_binary64_1802 flip-+_binary64_1773
12×div-inv_binary64_1796
10×associate-/r*_binary64_1743
9×associate-*l*_binary64_1740
7×associate-/l/_binary64_1746
6×pow1_binary64_1860
5×associate-/l*_binary64_1744
4×add-log-exp_binary64_1838 associate-*r/_binary64_1741
3×clear-num_binary64_1798 unswap-sqr_binary64_1767 frac-2neg_binary64_1810
2×distribute-lft-out_binary64_1750 frac-times_binary64_1809 associate-*l/_binary64_1742
1×flip--_binary64_1774 flip3--_binary64_1803 *-commutative_binary64_1730 pow-prod-down_binary64_1870
Counts
4 → 253
Calls

4 calls:

76.0ms
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
59.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
18.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
13.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series4.5s (15.4%)

Counts
4 → 12
Calls

4 calls:

3.3s
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
743.0ms
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
307.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
199.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify140.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
265 → 265
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0510216401

prune786.0ms (2.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2650265
Fresh055
Picked011
Done011
Total2657272

Merged error: 32.0b

Counts
272 → 7
Compiler

Compiled 19899 to 8108 computations (59.3% saved)

regimes75.0ms (0.3%)

Compiler

Compiled 879 to 525 computations (40.3% saved)

bsearch32.0ms (0.1%)

Steps
ItersRangePoint
8
1.0614435007462279e+153
4.5001701343653494e+156
1.3501889309401774e+154
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04492
14492

end0.0ms (0%)

sample1.3s (4.3%)

Algorithm
1×intervals
Results
636.0ms8000×body128valid
185.0ms8000×pre128true
Compiler

Compiled 416 to 241 computations (42.1% saved)

Profiling

Loading profile data...