Details

Time bar (total: 3.4s)

analyze155.0ms (4.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
18.7%81.2%0.1%5
28.1%71.8%0.1%6
39%60.9%0.1%7
52.3%47.6%0.1%8
67.5%32.4%0.1%9
74.7%25.2%0.1%10
83.2%16.7%0.1%11
87%12.9%0.1%12
91.4%8.5%0.1%13
93.4%6.5%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample763.0ms (22.4%)

Results
750.0ms8252×body128valid
0.0ms2×body256valid
0.0ms1×body1024valid
0.0ms1×body512valid
Compiler

Compiled 24 to 16 computations (33.3% saved)

preprocess36.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
916×fma-neg_binary64
555×div-sub_binary64
357×times-frac_binary64
299×distribute-rgt-in_binary64
277×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
13326
25426
310626
422826
546326
6125426
7324626
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify31.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1142×fma-neg_binary64
494×div-sub_binary64
253×associate-/r/_binary64
248×times-frac_binary64
239×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11813
23513
37713
418813
535813
688313
7228713
8459113
Stop Event
1×node limit
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 42 to 26 computations (38.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

series12.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
x
0
2.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
y
0
2.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
x
-inf
2.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
y
-inf
2.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
x
inf

rewrite148.0ms (4.3%)

Algorithm
1×batch-egg-rewrite
Rules
843×prod-diff_binary64
233×egg-rr
189×log1p-udef_binary64
103×add-sqr-sqrt_binary64
100×log1p-expm1-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
119713
2305813
Stop Event
1×node limit
Counts
1 → 233

simplify45.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
590×fma-def_binary64
491×times-frac_binary64
377×associate-/l*_binary64
339×associate-/r*_binary64
210×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01321038
14181030
21608918
Stop Event
1×node limit
Counts
257 → 262

prune352.0ms (10.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2593262
Fresh000
Picked011
Done000
Total2594263
Error
0b
Counts
263 → 4
Alt Table
StatusErrorProgram
36.4b
(+.f64 (+.f64 1 (/.f64 2 y)) (-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y))))))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
0.1b
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
▶0.0b
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
Compiler

Compiled 15402 to 9981 computations (35.2% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 y (-.f64 (-.f64 2 y) x))
✓0.0b
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
✓0.0b
(/.f64 x (-.f64 (-.f64 2 y) x))

series38.0ms (1.1%)

Counts
3 → 72
Calls

18 calls:

3.0ms
(/.f64 x (-.f64 (-.f64 2 y) x))
x
0
2.0ms
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
x
0
2.0ms
(/.f64 y (-.f64 (-.f64 2 y) x))
x
-inf
2.0ms
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
x
-inf
2.0ms
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
y
0

rewrite92.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
613×fma-def_binary64
331×fma-neg_binary64
227×egg-rr
221×expm1-udef_binary64
221×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0933
122933
2381533
Stop Event
1×node limit
Counts
3 → 227

simplify70.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
820×times-frac_binary64
394×sub-neg_binary64
331×cancel-sign-sub-inv_binary64
226×associate-+r+_binary64
214×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02272940
17702912
230272846
Stop Event
1×node limit
Counts
299 → 311

prune309.0ms (9.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New3110311
Fresh022
Picked011
Done011
Total3114315
Error
0b
Counts
315 → 4
Alt Table
StatusErrorProgram
36.4b
(+.f64 (+.f64 1 (/.f64 2 y)) (-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y))))))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
▶0.1b
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
✓0.0b
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
Compiler

Compiled 9454 to 5433 computations (42.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y))
✓0.1b
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)

series37.0ms (1.1%)

Counts
2 → 48
Calls

12 calls:

8.0ms
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
x
0
7.0ms
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
y
0
2.0ms
(/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y))
x
inf
2.0ms
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
x
-inf
2.0ms
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
y
-inf

rewrite58.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
407×fma-def_binary64
228×fma-neg_binary64
221×expm1-udef_binary64
221×log1p-udef_binary64
125×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01029
124226
2364026
Stop Event
1×node limit
Counts
2 → 100

simplify67.0ms (2%)

Algorithm
1×egg-herbie
Rules
373×sub-neg_binary64
345×fma-def_binary64
268×times-frac_binary64
265×associate-+r+_binary64
243×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02762396
19702348
242122299
Stop Event
1×node limit
Counts
148 → 157

prune169.0ms (5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1570157
Fresh011
Picked011
Done022
Total1574161
Error
0b
Counts
161 → 4
Alt Table
StatusErrorProgram
▶36.4b
(+.f64 (+.f64 1 (/.f64 2 y)) (-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y))))))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
✓0.1b
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
✓0.0b
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
Compiler

Compiled 4628 to 2857 computations (38.3% saved)

localize29.0ms (0.9%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓3.5b
(/.f64 (/.f64 x (/.f64 y x)) y)
✓6.6b
(/.f64 x (*.f64 y y))
✓8.5b
(+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3))))
✓10.5b
(-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y)))))

series148.0ms (4.4%)

Counts
4 → 96
Calls

24 calls:

19.0ms
(+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3))))
x
-inf
19.0ms
(+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3))))
x
0
16.0ms
(+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3))))
x
inf
9.0ms
(-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y)))))
x
0
6.0ms
(/.f64 x (*.f64 y y))
x
-inf

rewrite55.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
353×log1p-expm1-u_binary64
353×expm1-log1p-u_binary64
351×add-cbrt-cube_binary64
338×add-log-exp_binary64
337×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
031121
1752117
Stop Event
1×node limit
Counts
4 → 90

simplify68.0ms (2%)

Algorithm
1×egg-herbie
Rules
487×sub-neg_binary64
313×cancel-sign-sub-inv_binary64
303×fma-def_binary64
223×associate--l+_binary64
221×associate--r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0672664
12072646
27932299
339632299
Stop Event
1×node limit
Counts
186 → 124

prune174.0ms (5.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1240124
Fresh000
Picked011
Done033
Total1244128
Error
0b
Counts
128 → 4
Alt Table
StatusErrorProgram
✓36.4b
(+.f64 (+.f64 1 (/.f64 2 y)) (-.f64 (+.f64 (/.f64 4 (*.f64 y y)) (+.f64 (*.f64 (/.f64 (/.f64 x (/.f64 y x)) y) (+.f64 (/.f64 10 y) 2)) (/.f64 8 (pow.f64 y 3)))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y))))))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
✓0.1b
(pow.f64 (/.f64 (-.f64 (-.f64 2 y) x) (-.f64 x y)) -1)
✓0.0b
(-.f64 (/.f64 x (-.f64 (-.f64 2 y) x)) (/.f64 y (-.f64 (-.f64 2 y) x)))
Compiler

Compiled 7680 to 4436 computations (42.2% saved)

regimes429.0ms (12.6%)

Accuracy

Total 0.0b remaining (52%)

Threshold costs 0.0b (52%)

Counts
131 → 1
Compiler

Compiled 10199 to 6819 computations (33.1% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
11522
22722
33322
43622
Stop Event
1×saturated

end89.0ms (2.6%)

Stop Event
1×done
Compiler

Compiled 131 to 86 computations (34.4% saved)

Profiling

Loading profile data...