Details

Time bar (total: 11.3s)

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

sample40.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
9.0ms256×pre80true

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0539679

prune4.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: 52.2b

Counts
2 → 1

localize16.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))))
35.3b
(/.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))
44.7b
(/.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))))

rewrite113.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)))
14.0ms
(*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i))))
45.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:
45.0ms
(*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
97.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))
194.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))))

simplify151.0ms

Algorithm
egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0523518189

prune375.0ms

Filtered
152 candidates to 240 candidates (-57.9%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2346240
Fresh000
Picked101
Done000
Total2356241

Merged error: 32.7b

Counts
241 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.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))
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)))
34.4b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.8b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
288×times-frac_binary64
200×*-un-lft-identity_binary64
198×add-sqr-sqrt_binary64
117×add-cube-cbrt_binary64
111×associate-*r*_binary64
74×add-exp-log_binary64 add-cbrt-cube_binary64
42×associate-/r/_binary64 associate-*l*_binary64
35×cbrt-undiv_binary64 div-exp_binary64
30×difference-of-squares_binary64
22×flip3-+_binary64 flip-+_binary64
21×div-inv_binary64
19×distribute-lft-out_binary64
17×cbrt-unprod_binary64 prod-exp_binary64
15×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
13×associate-/l*_binary64
10×associate-/r*_binary64
6×pow1_binary64 unswap-sqr_binary64
5×associate-/l/_binary64
4×add-log-exp_binary64
3×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 flip3--_binary64 flip--_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 319
Calls
4 calls:
24.0ms
(/.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))
111.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)))
13.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
11.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series1.7s

Counts
4 → 12
Calls
4 calls:
98.0ms
(/.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))
1.5s
(*.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)))
60.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
102.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify179.0ms

Algorithm
egg-herbie
Counts
331 → 331
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0504022529

prune685.0ms

Filtered
229 candidates to 331 candidates (-44.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New3256331
Fresh235
Picked101
Done000
Total3289337

Merged error: 32.7b

Counts
337 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.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)))
34.4b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.8b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
190×times-frac_binary64
152×add-sqr-sqrt_binary64
132×*-un-lft-identity_binary64
111×associate-*r*_binary64
94×add-exp-log_binary64 add-cbrt-cube_binary64
83×add-cube-cbrt_binary64
43×cbrt-undiv_binary64 div-exp_binary64
30×difference-of-squares_binary64
25×cbrt-unprod_binary64 prod-exp_binary64
24×associate-/r/_binary64
15×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
13×flip3-+_binary64 flip-+_binary64
12×div-inv_binary64
10×associate-/r*_binary64
9×associate-*l*_binary64
7×associate-/l/_binary64
6×pow1_binary64
5×associate-/l*_binary64
4×add-log-exp_binary64 associate-*r/_binary64
3×unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64
2×distribute-lft-out_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 flip3--_binary64 flip--_binary64 *-commutative_binary64
Counts
4 → 253
Calls
4 calls:
51.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))
60.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)))
16.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)))

series2.0s

Counts
4 → 12
Calls
4 calls:
1.5s
(/.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))
352.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)))
60.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
106.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify150.0ms

Algorithm
egg-herbie
Counts
265 → 265
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0511316404

prune468.0ms

Filtered
174 candidates to 265 candidates (-52.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2641265
Fresh178
Picked011
Done000
Total2659274

Merged error: 32.7b

Counts
274 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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 alpha beta) (*.f64 i 2)) 1))
28.9b
(/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
34.4b
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
34.8b
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
106×times-frac_binary64
89×*-un-lft-identity_binary64
78×add-exp-log_binary64 add-cbrt-cube_binary64
68×add-sqr-sqrt_binary64
40×add-cube-cbrt_binary64
39×cbrt-undiv_binary64 div-exp_binary64
18×associate-/r/_binary64 associate-/l*_binary64
17×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64
14×distribute-lft-out_binary64 difference-of-squares_binary64
9×div-inv_binary64
8×associate-/l/_binary64
7×difference-of-sqr-1_binary64 distribute-lft-out--_binary64
6×flip3--_binary64 flip--_binary64
5×flip3-+_binary64 flip-+_binary64
4×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64
3×associate-*r/_binary64
1×frac-times_binary64 associate-*l/_binary64
Counts
4 → 198
Calls
4 calls:
44.0ms
(/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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 alpha beta) (*.f64 i 2)) 1))
38.0ms
(/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
14.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)))

series1.1s

Counts
4 → 12
Calls
4 calls:
407.0ms
(/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.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 alpha beta) (*.f64 i 2)) 1))
571.0ms
(/.f64 (*.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
57.0ms
(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
108.0ms
(/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify203.0ms

Algorithm
egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
0495514688
1495514688

prune314.0ms

Filtered
131 candidates to 210 candidates (-60.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2091210
Fresh167
Picked101
Done011
Total2118219

Merged error: 32.7b

Counts
219 → 8

regimes97.0ms

Accuracy

27.1% (2.6b remaining)

Error of 36.6b against oracle of 34.0b and baseline of 37.6b

bsearch91.0ms

Steps
ItersRangePoint
9
1.4944271868192163e+231
1.0412931467857349e+240
1.5166568001122684e+231
7
2.044148706002332e+22
1.1665373880352297e+24
2.0872971966169687e+22
7
2.0606423211278606e-72
2.1117269166044502e-70
2.0741625989722365e-70

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
066217
166217

end0.0ms

sample999.0ms

Algorithm
intervals
Results
648.0ms8000×body80valid
170.0ms8000×pre80true

Profiling

Loading profile data...