Details

Time bar (total: 12.6s)

analyze48.0ms

Algorithm
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

sample39.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
5.0ms256×pre80true

simplify67.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
0537579

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 55.7b

Counts
2 → 1

localize25.0ms

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))))
33.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))
48.0b
(/.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))))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac_binary64
66×flip3-+_binary64 associate-/r/_binary64 flip-+_binary64
61×add-exp-log_binary64 add-cbrt-cube_binary64
46×add-sqr-sqrt_binary64
44×*-un-lft-identity_binary64 frac-times_binary64
34×associate-*r/_binary64
30×add-cube-cbrt_binary64
28×difference-of-squares_binary64
22×cbrt-unprod_binary64 prod-exp_binary64 associate-*l/_binary64
19×cbrt-undiv_binary64 div-exp_binary64
16×pow1_binary64
14×difference-of-sqr-1_binary64 associate-/l*_binary64
9×associate-/l/_binary64 div-inv_binary64
7×associate-/r*_binary64
6×associate-*r*_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-*l*_binary64
3×swap-sqr_binary64
2×distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
1×flip3--_binary64 pow-prod-up_binary64 pow-plus_binary64 unswap-sqr_binary64 pow-sqr_binary64 flip--_binary64 pow2_binary64
Counts
4 → 228
Calls
4 calls:
14.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
15.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
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))
28.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))))

series1.9s

Counts
4 → 12
Calls
4 calls:
46.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
100.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
1.6s
(/.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))
202.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))))

simplify176.0ms

Algorithm
egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0504919495

prune680.0ms

Filtered
144 candidates to 240 candidates (-66.7%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2346240
Fresh000
Picked101
Done000
Total2356241

Merged error: 31.8b

Counts
241 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1)) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
29.0b
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
33.4b
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
33.9b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
118×times-frac_binary64
96×*-un-lft-identity_binary64
87×add-sqr-sqrt_binary64
78×add-exp-log_binary64 add-cbrt-cube_binary64
43×add-cube-cbrt_binary64
39×cbrt-undiv_binary64 div-exp_binary64
24×associate-/r/_binary64
22×difference-of-squares_binary64
17×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64
15×associate-/l*_binary64
13×flip3-+_binary64 flip-+_binary64
12×div-inv_binary64
11×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
10×distribute-lft-out_binary64
8×associate-/l/_binary64
4×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64
3×associate-*r/_binary64
1×flip3--_binary64 flip--_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 210
Calls
4 calls:
45.0ms
(/.f64 (/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1)) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
37.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
15.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
14.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

series2.0s

Counts
4 → 12
Calls
4 calls:
1.5s
(/.f64 (/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1)) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
328.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
58.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
110.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify195.0ms

Algorithm
egg-herbie
Counts
222 → 222
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0513819010

prune745.0ms

Filtered
135 candidates to 222 candidates (-64.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2193222
Fresh235
Picked011
Done000
Total2217228

Merged error: 31.8b

Counts
228 → 7

localize43.0ms

Local error

Found 4 expressions with local error:

13.6b
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
20.2b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
29.0b
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
33.4b
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
121×times-frac_binary64
98×cbrt-div_binary64
91×add-exp-log_binary64
70×associate-/r/_binary64
69×add-cbrt-cube_binary64
60×*-un-lft-identity_binary64
56×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
53×flip3-+_binary64 flip-+_binary64
48×cbrt-prod_binary64
45×cbrt-undiv_binary64 div-exp_binary64
33×frac-times_binary64
22×cbrt-unprod_binary64 prod-exp_binary64
20×associate-/l*_binary64
19×associate-*r/_binary64
17×associate-*l/_binary64
14×associate-/r*_binary64
11×div-inv_binary64
8×associate-/l/_binary64
4×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64
2×distribute-lft-out_binary64
Counts
4 → 236
Calls
4 calls:
32.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
29.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
57.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
16.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

series895.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
362.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
354.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 alpha beta) i))) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
69.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify211.0ms

Algorithm
egg-herbie
Counts
248 → 248
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0509319946

prune1.3s

Filtered
184 candidates to 248 candidates (-34.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2462248
Fresh145
Picked101
Done011
Total2487255

Merged error: 31.8b

Counts
255 → 7

localize52.0ms

Local error

Found 4 expressions with local error:

20.2b
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
20.2b
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
29.0b
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
33.4b
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
87×add-exp-log_binary64
62×add-cbrt-cube_binary64
36×cbrt-undiv_binary64 div-exp_binary64
28×cbrt-unprod_binary64 prod-exp_binary64
24×cbrt-div_binary64
20×associate-/r/_binary64
17×flip3-+_binary64 flip-+_binary64
16×*-un-lft-identity_binary64
13×times-frac_binary64
12×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×associate-/l/_binary64 associate-/r*_binary64 frac-times_binary64
8×associate-/l*_binary64
7×associate-*r/_binary64
5×associate-*l/_binary64
4×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
2×distribute-lft-out_binary64
Counts
4 → 137
Calls
4 calls:
28.0ms
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
27.0ms
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
82.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
15.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

series1.3s

Counts
4 → 12
Calls
4 calls:
418.0ms
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
422.0ms
(/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))
384.0ms
(/.f64 (*.f64 (/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (/.f64 (+.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (*.f64 alpha beta)) (*.f64 (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))))) (cbrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 1))
66.0ms
(/.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))

simplify148.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
059499562

prune824.0ms

Filtered
105 candidates to 149 candidates (-41.9%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1490149
Fresh055
Picked011
Done011
Total1497156

Merged error: 31.8b

Counts
156 → 7

regimes334.0ms

Accuracy

37.8% (2.4b remaining)

Error of 35.8b against oracle of 33.4b and baseline of 37.3b

bsearch39.0ms

Steps
ItersRangePoint
8
238896199453988345561672092735900233883727903879911317266985302803836078793210737098578316060671436118456300623908358658583090193912174244166127766652215291372475081390027709741733851266548255179145216
4158448912195063483903764238086368569530696904021631153262324255452138197422782380512225210035023555735090751272926549577540999430535527014762936161609578272580210929830540790573778686050762366000820125696
2.7247229081146494e+201

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04389
14389

end0.0ms

sample1.1s

Algorithm
intervals
Results
669.0ms8000×body80valid
177.0ms8000×pre80true

Profiling

Loading profile data...