Details

Time bar (total: 1.8s)

analyze139.0ms (7.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
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
59.3%37.5%3.2%8
67.1%25.8%7.1%9
72.6%20.3%7.1%10
76.9%13.5%9.7%11
79.8%10.5%9.7%12
82%6.9%11.1%13
83.6%5.4%11.1%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample828.0ms (45.2%)

Results
803.0ms8256×body128valid
12.0ms129×body128invalid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess67.0ms (3.7%)

Algorithm
2×egg-herbie
Rules
1297×fma-neg_binary64
333×cancel-sign-sub-inv_binary64
300×fma-def_binary64
262×sub-neg_binary64
200×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01632
14428
210624
324724
455722
5122122
6225522
7343022
8382622
9384422
10384422
11450222
12450222
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify33.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
712×fma-neg_binary64
578×fma-def_binary64
222×cancel-sign-sub-inv_binary64
114×sub-neg_binary64
81×distribute-rgt-in_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01116
12714
26212
312912
426811
558011
6107511
7179411
8258111
9275211
10277911
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
▶0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 67 to 49 computations (26.9% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))
✓0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
✓0.0b
(*.f64 x (-.f64 y 1))

series15.0ms (0.8%)

Counts
3 → 72
Calls

18 calls:

2.0ms
(-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2))
x
-inf
1.0ms
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
x
inf
1.0ms
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
x
-inf
1.0ms
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
y
-inf
1.0ms
(*.f64 x (-.f64 y 1))
x
-inf

rewrite83.0ms (4.5%)

Algorithm
1×batch-egg-rewrite
Rules
614×fma-def_binary64
402×fma-neg_binary64
262×egg-rr
221×expm1-udef_binary64
221×log1p-udef_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01136
126132
2345830
Stop Event
1×node limit
Counts
3 → 262

simplify70.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
611×fma-neg_binary64
437×fma-def_binary64
136×sub-neg_binary64
112×cancel-sign-sub-inv_binary64
85×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
029646
175628
2160626
3337608
4716608
51346608
61933608
72184608
82305608
92326608
Stop Event
1×saturated
Counts
334 → 280

prune203.0ms (11.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2800280
Fresh011
Picked011
Done000
Total2802282
Error
0b
Counts
282 → 2
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
✓0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 5746 to 4169 computations (27.4% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)

series11.0ms (0.6%)

Counts
2 → 48
Calls

12 calls:

3.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
x
-inf
1.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
x
inf
1.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
y
-inf
1.0ms
(fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000)
x
inf
1.0ms
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
y
inf

rewrite57.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
431×prod-diff_binary64
379×log-prod_binary64
268×fma-def_binary64
168×expm1-udef_binary64
168×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
118219
2239419
Stop Event
1×node limit
Counts
2 → 139

simplify55.0ms (3%)

Algorithm
1×egg-herbie
Rules
613×fma-neg_binary64
468×fma-def_binary64
122×sub-neg_binary64
109×cancel-sign-sub-inv_binary64
79×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
025483
167465
2157443
3343407
4734407
51355407
61942407
72195407
82322407
92341407
Stop Event
1×saturated
Counts
187 → 155

prune92.0ms (5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1550155
Fresh000
Picked011
Done011
Total1552157
Error
0b
Counts
157 → 2
Alt Table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 y (+.f64 x -1/2) 918938533204673/1000000000000000) x)
✓0.0b
(+.f64 (-.f64 (*.f64 x (-.f64 y 1)) (*.f64 y 1/2)) 918938533204673/1000000000000000)
Compiler

Compiled 2491 to 1618 computations (35% saved)

regimes121.0ms (6.6%)

Accuracy

Total 0.0b remaining (76.1%)

Threshold costs 0.0b (76.1%)

Counts
31 → 1
Compiler

Compiled 1240 to 916 computations (26.1% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11012
Stop Event
1×saturated

end44.0ms (2.4%)

Stop Event
1×done
Compiler

Compiled 45 to 33 computations (26.7% saved)

Profiling

Loading profile data...