Details

Time bar (total: 5.2s)

analyze2.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%25.7%74.3%0
25.7%0%74.3%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.9s (37%)

Results
1.1s6737×body128valid
375.0ms574×body1024valid
274.0ms589×body512valid
81.0ms341×body256valid
8.0ms15×body2048valid
Compiler

Compiled 63 to 46 computations (27% saved)

simplify56.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
743×neg-mul-1_binary64
672×distribute-rgt-neg-in_binary64
436×unswap-sqr_binary64
376×fma-def_binary64
296×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11813
23713
37813
420413
568213
6184813
7310213
8487313
9539313
Stop Event
1×node limit
Counts
1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
8.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶8.1b
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
Compiler

Compiled 33 to 24 computations (27.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(pow.f64 (+.f64 x eps) 5)
✓1.2b
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

series26.0ms (0.5%)

Counts
2 → 48
Calls

2 calls:

16.0ms
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
10.0ms
(pow.f64 (+.f64 x eps) 5)

rewrite77.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
907×prod-diff_binary64
400×fma-def_binary64
206×fma-neg_binary64
171×expm1-udef_binary64
171×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
119020
2241620
3478620
4497420
Stop Event
1×node limit
Counts
2 → 112
Calls

2 calls:

73.0ms
(pow.f64 (+.f64 x eps) 5)
73.0ms
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

simplify141.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
965×distribute-lft-out_binary64
836×unswap-sqr_binary64
524×*-commutative_binary64
428×sqr-pow_binary64
400×distribute-rgt-out_binary64
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0391152
11231083
23441062
31099993
41638972
52061972
62235960
72710960
83005960
93202960
104674960
114511960
124901960
Stop Event
1×node limit
Counts
160 → 133

prune230.0ms (4.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1285133
Fresh000
Picked101
Done000
Total1295134
Error
0.0b
Counts
134 → 5
Alt Table
StatusErrorProgram
11.1b
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
12.7b
(*.f64 eps (+.f64 (*.f64 5 (pow.f64 x 4)) (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x)))))))
▶8.8b
(+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (pow.f64 eps 5) (*.f64 5 (*.f64 (pow.f64 eps 4) x))))
12.7b
(*.f64 eps (+.f64 (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x))))) (*.f64 (*.f64 5 x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
12.7b
(+.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (*.f64 5 (*.f64 (pow.f64 eps 4) x)) (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))))))
Compiler

Compiled 3152 to 2012 computations (36.2% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2)))
✓0.0b
(*.f64 (pow.f64 eps 3) (pow.f64 x 2))
✓0.0b
(*.f64 (pow.f64 eps 4) x)
✓0.0b
(*.f64 5 (*.f64 (pow.f64 eps 4) x))

series148.0ms (2.9%)

Counts
4 → 0
Calls

4 calls:

100.0ms
(*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2)))
22.0ms
(*.f64 (pow.f64 eps 4) x)
13.0ms
(*.f64 5 (*.f64 (pow.f64 eps 4) x))
13.0ms
(*.f64 (pow.f64 eps 3) (pow.f64 x 2))

rewrite51.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
640×log-prod_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
208×log-pow_binary64
138×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01540
131440
2305940
3491040
Stop Event
1×node limit
Counts
4 → 68
Calls

4 calls:

49.0ms
(*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2)))
49.0ms
(*.f64 (pow.f64 eps 3) (pow.f64 x 2))
49.0ms
(*.f64 (pow.f64 eps 4) x)
49.0ms
(*.f64 5 (*.f64 (pow.f64 eps 4) x))

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100
Stop Event
1×saturated
Counts
68 → 68

prune247.0ms (4.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New68068
Fresh044
Picked011
Done000
Total68573
Error
0.0b
Counts
73 → 5
Alt Table
StatusErrorProgram
▶11.1b
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
12.7b
(*.f64 eps (+.f64 (*.f64 5 (pow.f64 x 4)) (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x)))))))
✓8.8b
(+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (pow.f64 eps 5) (*.f64 5 (*.f64 (pow.f64 eps 4) x))))
12.7b
(*.f64 eps (+.f64 (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x))))) (*.f64 (*.f64 5 x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
12.7b
(+.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (*.f64 5 (*.f64 (pow.f64 eps 4) x)) (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))))))
Compiler

Compiled 1991 to 1495 computations (24.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(pow.f64 (+.f64 x eps) 5)
✓0.1b
(*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5))))
✓11.1b
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
✓20.9b
(cbrt.f64 (neg.f64 (pow.f64 x 5)))

series124.0ms (2.4%)

Counts
3 → 48
Calls

3 calls:

49.0ms
(*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5))))
45.0ms
(cbrt.f64 (neg.f64 (pow.f64 x 5)))
31.0ms
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))

rewrite92.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
673×prod-diff_binary64
477×fma-udef_binary64
329×fma-def_binary64
210×fma-neg_binary64
184×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01134
123925
2251625
3474625
4476725
5487025
Stop Event
1×node limit
Counts
3 → 70
Calls

3 calls:

91.0ms
(*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5))))
91.0ms
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
91.0ms
(cbrt.f64 (neg.f64 (pow.f64 x 5)))

simplify54.0ms (1%)

Algorithm
1×egg-herbie
Rules
613×cancel-sign-sub-inv_binary64
560×fma-neg_binary64
555×distribute-lft-out_binary64
402×*-commutative_binary64
371×fma-def_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
054843
1167807
2466798
31498766
42519755
54966755
Stop Event
1×node limit
Counts
118 → 104

prune324.0ms (6.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1841185
Fresh033
Picked011
Done011
Total1846190
Error
0.0b
Counts
190 → 6
Alt Table
StatusErrorProgram
✓11.1b
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
12.7b
(*.f64 eps (+.f64 (*.f64 5 (pow.f64 x 4)) (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x)))))))
✓8.8b
(+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (pow.f64 eps 5) (*.f64 5 (*.f64 (pow.f64 eps 4) x))))
12.7b
(*.f64 eps (+.f64 (*.f64 10 (*.f64 x (*.f64 x (*.f64 eps (+.f64 eps x))))) (*.f64 (*.f64 5 x) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
12.7b
(+.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (*.f64 5 (*.f64 (pow.f64 eps 4) x)) (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))))))
▶12.7b
(*.f64 x (+.f64 (*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))) (*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))
Compiler

Compiled 4284 to 3117 computations (27.2% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x))))
✓0.1b
(*.f64 x (+.f64 (*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))) (*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))
✓0.1b
(*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))
✓0.2b
(*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))

series100.0ms (1.9%)

Counts
4 → 96
Calls

4 calls:

38.0ms
(*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x))))
36.0ms
(*.f64 x (+.f64 (*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))) (*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))
16.0ms
(*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))
10.0ms
(*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))

rewrite69.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
559×prod-diff_binary64
208×add-sqr-sqrt_binary64
202×log1p-expm1-u_binary64
202×expm1-log1p-u_binary64
196×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01880
142380
2472380
3573380
Stop Event
1×node limit
Counts
4 → 72
Calls

4 calls:

68.0ms
(*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x))))
68.0ms
(*.f64 x (+.f64 (*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))) (*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))
68.0ms
(*.f64 (*.f64 5 eps) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))
68.0ms
(*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))

simplify359.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
1028×unswap-sqr_binary64
909×*-commutative_binary64
722×sqr-pow_binary64
619×distribute-lft-out_binary64
476×distribute-rgt-in_binary64
Iterations

Useful iterations: 10 (0.0ms)

IterNodesCost
0421830
11231689
23471548
311231527
417791497
523361497
625641497
732071497
836591497
937921497
1029541491
1132801491
1235651491
1336221491
1438581491
1541111491
1643871491
1746801491
1847201491
1947541491
2061351491
Stop Event
1×node limit
Counts
168 → 100

prune137.0ms (2.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New964100
Fresh213
Picked101
Done022
Total997106
Error
0.0b
Counts
106 → 7
Alt Table
StatusErrorProgram
12.9b
(*.f64 eps (*.f64 (pow.f64 x 3) (+.f64 (*.f64 10 eps) (*.f64 x 5))))
12.7b
(fma.f64 x (*.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x)))) (*.f64 x (*.f64 (*.f64 eps 5) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))
17.7b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x (*.f64 (*.f64 eps eps) (*.f64 10 (+.f64 eps x))) (*.f64 (*.f64 eps 5) (+.f64 (pow.f64 x 3) (pow.f64 eps 3)))))) 2)
✓8.8b
(+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (pow.f64 eps 5) (*.f64 5 (*.f64 (pow.f64 eps 4) x))))
12.7b
(*.f64 x (*.f64 eps (+.f64 (*.f64 5 (+.f64 (pow.f64 eps 3) (pow.f64 x 3))) (*.f64 10 (*.f64 x (*.f64 eps (+.f64 eps x)))))))
12.7b
(+.f64 (*.f64 5 (*.f64 eps (pow.f64 x 4))) (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 3) (pow.f64 x 2))) (+.f64 (*.f64 5 (*.f64 (pow.f64 eps 4) x)) (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 3))))))
✓11.1b
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 (pow.f64 x 5))) (cbrt.f64 (neg.f64 (pow.f64 x 5)))) (cbrt.f64 (neg.f64 (pow.f64 x 5))) (pow.f64 (+.f64 x eps) 5))
Compiler

Compiled 3220 to 2012 computations (37.5% saved)

regimes699.0ms (13.5%)

Accuracy

Total 12.3b remaining (99.9%)

Threshold costs 0b (0%)

Counts
124 → 3
Compiler

Compiled 6811 to 5061 computations (25.7% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
10×*-commutative_binary64
6×+-commutative_binary64
2×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041122
157122
260122
361122
461122
Stop Event
1×saturated

end263.0ms (5.1%)

Compiler

Compiled 349 to 246 computations (29.5% saved)

Profiling

Loading profile data...