Details

Time bar (total: 5.8s)

analyze6.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.7s (28.9%)

Alt Table
StatusErrorProgram
▶25.3b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Results
655.0ms2059×body1024valid
490.0ms4365×body128valid
264.0ms1105×body512valid
88.0ms226×body2048valid
84.0ms501×body256valid
Compiler

Compiled 72 to 52 computations (27.8% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series9.0ms (0.2%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
3.0ms
(/.f64 x (+.f64 x 1))
2.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))

rewrite84.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
470×fma-def_binary64
286×fma-neg_binary64
268×log-div_binary64
210×egg-rr
174×expm1-udef_binary64
Counts
3 → 210
Calls

3 calls:

78.0ms
(/.f64 x (+.f64 x 1))
78.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
78.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0836
119536
2292936
3505836
000
100

prune223.0ms (3.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2415246
Fresh000
Picked101
Done000
Total2425247
Error
0.0b
Counts
247 → 5
Alt Table
StatusErrorProgram
25.7b
(fma.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)) (/.f64 1 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) (fma.f64 (neg.f64 (/.f64 1 (-.f64 x 1))) (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1))))
35.5b
(/.f64 -3 x)
36.4b
(neg.f64 (+.f64 (*.f64 3 (/.f64 1 x)) (/.f64 1 (pow.f64 x 2))))
25.3b
(log.f64 (exp.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))))
▶25.3b
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 3)
Compiler

Compiled 6144 to 4540 computations (26.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
✓0.0b
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
✓0.0b
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 3)
✓1.6b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series24.0ms (0.4%)

Counts
4 → 48
Calls

4 calls:

12.0ms
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 3)
5.0ms
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
4.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
2.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))

rewrite153.0ms (2.6%)

Algorithm
2×batch-egg-rewrite
Rules
508×fma-def_binary64
415×egg-rr
292×fma-neg_binary64
203×expm1-udef_binary64
203×log1p-udef_binary64
Counts
4 → 415
Calls

4 calls:

138.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
138.0ms
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
138.0ms
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 3)
138.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01169
124269
2334969
3498569
4490269
000
100

prune548.0ms (9.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New4612463
Fresh224
Picked011
Done000
Total4635468
Error
0.0b
Counts
468 → 5
Alt Table
StatusErrorProgram
26.2b
(fma.f64 (-.f64 (-.f64 (*.f64 x x) x) (pow.f64 (+.f64 x 1) 2)) (/.f64 1 (fma.f64 x x -1)) (fma.f64 (neg.f64 (/.f64 1 (-.f64 x 1))) (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1))))
36.4b
(neg.f64 (+.f64 (*.f64 3 (/.f64 1 x)) (/.f64 1 (pow.f64 x 2))))
▶25.3b
(pow.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
35.5b
(/.f64 -3 x)
✓25.3b
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 3)
Compiler

Compiled 15521 to 11817 computations (23.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)))
✓0.0b
(pow.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
✓0.4b
(cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
✓1.5b
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))

series33.0ms (0.6%)

Counts
4 → 48
Calls

4 calls:

15.0ms
(pow.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
7.0ms
(cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
6.0ms
(cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)))
4.0ms
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))

rewrite159.0ms (2.7%)

Algorithm
2×batch-egg-rewrite
Rules
892×prod-diff_binary64
320×egg-rr
186×log1p-expm1-u_binary64
186×expm1-log1p-u_binary64
184×add-sqr-sqrt_binary64
Counts
4 → 320
Calls

4 calls:

145.0ms
(cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)))
145.0ms
(pow.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
145.0ms
(cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
145.0ms
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
017124
139592
2456992
3641392
000
100

prune521.0ms (8.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New3662368
Fresh123
Picked101
Done101
Total3694373
Error
0.0b
Counts
373 → 4
Alt Table
StatusErrorProgram
▶25.3b
(/.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2) (/.f64 1 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
25.3b
(pow.f64 (/.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)) 3))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
36.4b
(neg.f64 (+.f64 (*.f64 3 (/.f64 1 x)) (/.f64 1 (pow.f64 x 2))))
35.5b
(/.f64 -3 x)
Compiler

Compiled 19586 to 15496 computations (20.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2) (/.f64 1 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
✓0.0b
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2)
✓0.0b
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
✓1.6b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series23.0ms (0.4%)

Counts
4 → 48
Calls

4 calls:

11.0ms
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2)
5.0ms
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
4.0ms
(/.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2) (/.f64 1 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
3.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite152.0ms (2.6%)

Algorithm
2×batch-egg-rewrite
Rules
532×fma-def_binary64
436×egg-rr
307×fma-neg_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
Counts
4 → 436
Calls

4 calls:

136.0ms
(/.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2) (/.f64 1 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
136.0ms
(pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2)
136.0ms
(cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
136.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01383
130781
2389181
3533081
000
100

prune1.0s (17.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New7470747
Fresh033
Picked011
Done000
Total7474751
Error
0.0b
Counts
751 → 4
Alt Table
StatusErrorProgram
✓25.3b
(/.f64 (pow.f64 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) 2) (/.f64 1 (cbrt.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))))
25.3b
(pow.f64 (/.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 2) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 2)) 3))) (cbrt.f64 (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))) 3)
36.4b
(neg.f64 (+.f64 (*.f64 3 (/.f64 1 x)) (/.f64 1 (pow.f64 x 2))))
35.5b
(/.f64 -3 x)
Compiler

Compiled 37825 to 29009 computations (23.3% saved)

regimes937.0ms (16%)

Accuracy

Total 0.2b remaining (58.3%)

Threshold costs 0.2b (58.3%)

Counts
235 → 3
Compiler

Compiled 12181 to 9287 computations (23.8% saved)

bsearch48.0ms (0.8%)

Steps
ItersRangePoint
9
396.06828389601594
460262541.5739475
339755.70170894644
9
-375002230.904208
-36.80533184732422
-422691.3719611488
Compiler

Compiled 2 to 1 computations (50% saved)

simplify10.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
11×+-commutative_binary64
9×sub-neg_binary64
8×*-commutative_binary64
7×neg-sub0_binary64
7×neg-mul-1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
030102
14598
26798
38398
49398
59798
69898
79598

end142.0ms (2.4%)

Compiler

Compiled 222 to 175 computations (21.2% saved)

Profiling

Loading profile data...