Details

Time bar (total: 2.3s)

analyze5.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
62.5%37.5%0%4
81.2%18.7%0%5
90.6%9.4%0%6
95.3%4.7%0%7
97.6%2.3%0%8
98.8%1.2%0%9
99.4%0.6%0%10
99.7%0.3%0%11
99.8%0.1%0%12
99.9%0.1%0%13
99.9%0%0%14
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample1.1s (45.5%)

Results
415.0ms2110×body512valid
379.0ms4736×body128valid
137.0ms994×body256valid
110.0ms416×body1024valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

preprocess25.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
15×cancel-sign-sub-inv_binary64
12×sub-neg_binary64
10×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
11213
21813
32613
43613
55413
69113
712413
816713
920313
1022913
1123113
011
Stop Event
1×saturated
1×saturated
Compiler

Compiled 10 to 8 computations (20% saved)

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
15×cancel-sign-sub-inv_binary64
12×sub-neg_binary64
10×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
11213
21813
32613
43613
55413
69113
712413
816713
920313
1022913
1123113
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
15.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶15.3b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
Compiler

Compiled 39 to 31 computations (20.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 1 (+.f64 x 1))
✓2.9b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

series4.0ms (0.2%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
x
-inf
1.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
x
inf
1.0ms
(/.f64 1 (+.f64 x 1))
x
inf
1.0ms
(/.f64 1 (+.f64 x 1))
x
-inf
1.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
x
0

rewrite44.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
896×log1p-expm1-u_binary64
896×expm1-log1p-u_binary64
89×add-sqr-sqrt_binary64
86×*-un-lft-identity_binary64
86×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
116820
2258720
Stop Event
1×node limit
Counts
2 → 70

simplify27.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
625×fma-neg_binary64
435×cancel-sign-sub-inv_binary64
333×sub-neg_binary64
221×associate-/l/_binary64
206×unswap-sqr_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
037372
199366
2241366
3645364
42099363
Stop Event
1×node limit
Counts
94 → 98

prune60.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New96298
Fresh000
Picked011
Done000
Total96399
Error
0.4b
Counts
99 → 3
Alt Table
StatusErrorProgram
32.1b
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
✓15.3b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
▶14.8b
(/.f64 (/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) x)
Compiler

Compiled 1481 to 1144 computations (22.8% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x))
✓0.0b
(/.f64 (/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) x)
✓2.4b
(-.f64 x (+.f64 1 x))

series5.0ms (0.2%)

Counts
3 → 36
Calls

9 calls:

1.0ms
(/.f64 (/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) x)
x
-inf
1.0ms
(/.f64 (/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) x)
x
inf
1.0ms
(/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x))
x
-inf
1.0ms
(/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x))
x
inf
1.0ms
(/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x))
x
0

rewrite64.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
623×prod-diff_binary64
327×fma-def_binary64
189×fma-neg_binary64
154×log1p-udef_binary64
153×expm1-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0736
116930
2280930
Stop Event
1×node limit
Counts
3 → 195

simplify34.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
630×fma-def_binary64
525×fma-neg_binary64
350×cancel-sign-sub-inv_binary64
312×sub-neg_binary64
266×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
037384
1100378
2246378
3653375
42095375
Stop Event
1×node limit
Counts
231 → 223

prune152.0ms (6.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2212223
Fresh011
Picked101
Done011
Total2224226
Error
0.0b
Counts
226 → 4
Alt Table
StatusErrorProgram
14.8b
(/.f64 (cbrt.f64 (/.f64 (pow.f64 (-.f64 x (+.f64 x 1)) 3) (pow.f64 (+.f64 x 1) 3))) x)
32.1b
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
✓15.3b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
▶0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 4407 to 3096 computations (29.7% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 -1 (+.f64 1 x))
✓0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)

series5.0ms (0.2%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
x
inf
1.0ms
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
x
-inf
1.0ms
(/.f64 -1 (+.f64 1 x))
x
inf
1.0ms
(/.f64 -1 (+.f64 1 x))
x
-inf
1.0ms
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
x
0

rewrite43.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
817×pow1_binary64
761×log1p-expm1-u_binary64
761×expm1-log1p-u_binary64
75×add-sqr-sqrt_binary64
72×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115117
2208217
Stop Event
1×node limit
Counts
2 → 63

simplify27.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
630×fma-def_binary64
525×fma-neg_binary64
350×cancel-sign-sub-inv_binary64
312×sub-neg_binary64
266×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
037372
1100366
2246366
3653363
42095363
Stop Event
1×node limit
Counts
87 → 91

prune63.0ms (2.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New86591
Fresh202
Picked011
Done101
Total89695
Error
0.0b
Counts
95 → 6
Alt Table
StatusErrorProgram
0.5b
(/.f64 (*.f64 (/.f64 -1 (-.f64 1 (*.f64 x x))) (-.f64 1 x)) x)
31.7b
(cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 x (*.f64 x x))) 3))
30.0b
(*.f64 (/.f64 -1 (sqrt.f64 x)) (/.f64 (/.f64 1 (+.f64 1 x)) (sqrt.f64 x)))
▶0.4b
(*.f64 (pow.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) 2) (*.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) (/.f64 1 x)))
0.4b
(*.f64 -1 (/.f64 1 (+.f64 x (*.f64 x x))))
✓0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 1210 to 841 computations (30.5% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 -1 (cbrt.f64 (+.f64 1 x)))
✓0.2b
(*.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) (/.f64 1 x))
✓0.2b
(pow.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) 2)
✓0.3b
(cbrt.f64 (+.f64 1 x))

series22.0ms (1%)

Counts
4 → 16
Calls

12 calls:

3.0ms
(*.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) (/.f64 1 x))
x
inf
3.0ms
(pow.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) 2)
x
-inf
3.0ms
(*.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) (/.f64 1 x))
x
-inf
3.0ms
(pow.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) 2)
x
inf
2.0ms
(cbrt.f64 (+.f64 1 x))
x
-inf

rewrite55.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
483×log-prod_binary64
182×expm1-udef_binary64
182×log1p-udef_binary64
157×log-div_binary64
155×log-pow_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01139
123839
2293037
Stop Event
1×node limit
Counts
4 → 149

simplify31.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
654×fma-def_binary64
298×associate-*l*_binary64
289×cancel-sign-sub-inv_binary64
288×sub-neg_binary64
285×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
048183
1133167
2372155
31216132
43796132
Stop Event
1×node limit
Counts
165 → 176

prune250.0ms (10.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2481249
Fresh044
Picked101
Done011
Total2496255
Error
0b
Counts
255 → 6
Alt Table
StatusErrorProgram
0.5b
(/.f64 (*.f64 (/.f64 -1 (-.f64 1 (*.f64 x x))) (-.f64 1 x)) x)
0.7b
(*.f64 (pow.f64 (/.f64 -1 (/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (-.f64 1 x)))) 2) (*.f64 (/.f64 -1 (cbrt.f64 (+.f64 1 x))) (/.f64 1 x)))
31.7b
(cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 x (*.f64 x x))) 3))
30.0b
(*.f64 (/.f64 -1 (sqrt.f64 x)) (/.f64 (/.f64 1 (+.f64 1 x)) (sqrt.f64 x)))
0.4b
(*.f64 -1 (/.f64 1 (+.f64 x (*.f64 x x))))
✓0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 5736 to 4769 computations (16.9% saved)

regimes232.0ms (10%)

Accuracy

Total 0.1b remaining (81.3%)

Threshold costs 0.1b (81.3%)

Counts
120 → 1
Compiler

Compiled 4408 to 3644 computations (17.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
Stop Event
1×saturated

end76.0ms (3.3%)

Stop Event
1×fuel
Compiler

Compiled 100 to 75 computations (25% saved)

Profiling

Loading profile data...