Details

Time bar (total: 2.4s)

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 (44.6%)

Results
422.0ms2110×body512valid
383.0ms4736×body128valid
141.0ms994×body256valid
106.0ms416×body1024valid
Compiler

Compiled 22 to 18 computations (18.2% saved)

preprocess16.0ms (0.7%)

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

prune4.0ms (0.2%)

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))

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

rewrite55.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
896×expm1-log1p-u_binary64
733×prod-diff_binary64
135×egg-rr
85×add-sqr-sqrt_binary64
83×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
116920
2254120
Stop Event
1×node limit
Counts
2 → 135

simplify29.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
159 → 163

prune120.0ms (5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1612163
Fresh000
Picked011
Done000
Total1613164
Error
0.4b
Counts
164 → 3
Alt Table
StatusErrorProgram
✓15.3b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
▶14.8b
(/.f64 (/.f64 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) 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))))
Compiler

Compiled 3417 to 2577 computations (24.6% 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))

series6.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 (-.f64 x (+.f64 1 x)) (+.f64 1 x)) x)
x
0

rewrite63.0ms (2.6%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
0736
117030
2276630
Stop Event
1×node limit
Counts
3 → 197

simplify30.0ms (1.3%)

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
233 → 225

prune148.0ms (6.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2232225
Fresh011
Picked101
Done011
Total2244228
Error
0.0b
Counts
228 → 4
Alt Table
StatusErrorProgram
✓15.3b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
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))))
▶0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 4424 to 3107 computations (29.8% 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)

series6.0ms (0.2%)

Counts
2 → 24
Calls

6 calls:

2.0ms
(/.f64 -1 (+.f64 1 x))
x
-inf
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 (/.f64 -1 (+.f64 1 x)) x)
x
0

rewrite42.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
761×log1p-expm1-u_binary64
761×expm1-log1p-u_binary64
105×prod-diff_binary64
73×add-sqr-sqrt_binary64
69×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115217
2206617
Stop Event
1×node limit
Counts
2 → 63

simplify28.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.6%)

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
31.7b
(cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 x (*.f64 x x))) 3))
0.4b
(*.f64 -1 (/.f64 1 (+.f64 x (*.f64 x 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)))
30.0b
(*.f64 (/.f64 -1 (sqrt.f64 x)) (/.f64 (/.f64 1 (+.f64 1 x)) (sqrt.f64 x)))
0.5b
(/.f64 (*.f64 (/.f64 -1 (-.f64 1 (*.f64 x x))) (-.f64 1 x)) x)
✓0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 1210 to 846 computations (30.1% saved)

localize9.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))

series23.0ms (1%)

Counts
4 → 16
Calls

12 calls:

3.0ms
(/.f64 -1 (cbrt.f64 (+.f64 1 x)))
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
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

rewrite54.0ms (2.2%)

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

Useful iterations: 2 (0.0ms)

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

simplify30.0ms (1.2%)

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.5%)

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.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))
0.4b
(*.f64 -1 (/.f64 1 (+.f64 x (*.f64 x x))))
30.0b
(*.f64 (/.f64 -1 (sqrt.f64 x)) (/.f64 (/.f64 1 (+.f64 1 x)) (sqrt.f64 x)))
0.5b
(/.f64 (*.f64 (/.f64 -1 (-.f64 1 (*.f64 x x))) (-.f64 1 x)) x)
✓0.1b
(/.f64 (/.f64 -1 (+.f64 1 x)) x)
Compiler

Compiled 5736 to 4769 computations (16.9% saved)

regimes239.0ms (10%)

Accuracy

Total 0.1b remaining (81.3%)

Threshold costs 0.1b (81.3%)

Counts
121 → 1
Compiler

Compiled 4426 to 3658 computations (17.4% 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

end75.0ms (3.2%)

Stop Event
1×fuel
Compiler

Compiled 100 to 75 computations (25% saved)

Profiling

Loading profile data...