Details

Time bar (total: 2.6s)

analyze149.0ms (5.7%)

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
56.2%37.5%6.3%8
62.4%25.8%11.8%9
65.6%20.3%14.1%10
68.7%13.5%17.9%11
70.2%10.5%19.2%12
71.8%6.9%21.3%13
72.6%5.4%22%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample870.0ms (33.4%)

Results
826.0ms8256×body128valid
33.0ms301×body128invalid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess29.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
620×fma-def_binary64
514×distribute-rgt-in_binary64
475×distribute-lft-in_binary64
190×div-sub_binary64
178×times-frac_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01532
14132
213332
339532
4140632
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify23.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
417×unsub-neg_binary64
308×fma-def_binary64
306×fma-neg_binary64
269×times-frac_binary64
261×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
12416
27116
320416
473316
5325016
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
4.7b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
▶0.4b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
Compiler

Compiled 76 to 58 computations (23.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
✓0.3b
(*.f64 (-.f64 3 x) (/.f64 1/3 y))
✓0.4b
(/.f64 1/3 y)

series21.0ms (0.8%)

Counts
3 → 48
Calls

15 calls:

3.0ms
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
y
-inf
2.0ms
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
y
inf
2.0ms
(*.f64 (-.f64 3 x) (/.f64 1/3 y))
y
inf
2.0ms
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
x
inf
2.0ms
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
y
0

rewrite65.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
214×expm1-udef_binary64
213×log1p-udef_binary64
194×prod-diff_binary64
179×fma-def_binary64
174×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01130
124430
2318130
Stop Event
1×node limit
Counts
3 → 137

simplify38.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
479×distribute-rgt-in_binary64
453×cancel-sign-sub-inv_binary64
402×fma-neg_binary64
234×fma-def_binary64
156×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
044717
1127685
2289521
3742474
42423464
Stop Event
1×node limit
Counts
185 → 157

prune125.0ms (4.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1534157
Fresh011
Picked011
Done000
Total1536159
Error
0.0b
Counts
159 → 6
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
0.4b
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
▶0.3b
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
4.6b
(-.f64 (+.f64 (/.f64 1 y) (*.f64 1/3 (/.f64 (pow.f64 x 2) y))) (*.f64 4/3 (/.f64 x y)))
4.7b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
31.1b
(*.f64 (-.f64 1 x) (pow.f64 (sqrt.f64 (*.f64 (/.f64 1/3 y) (-.f64 3 x))) 2))
Compiler

Compiled 2746 to 1984 computations (27.7% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
✓0.2b
(/.f64 (-.f64 3 x) (*.f64 y 3))

series17.0ms (0.7%)

Counts
2 → 48
Calls

12 calls:

2.0ms
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
y
inf
2.0ms
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
y
-inf
2.0ms
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
y
0
1.0ms
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
x
inf
1.0ms
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
x
-inf

rewrite80.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
295×prod-diff_binary64
204×egg-rr
204×expm1-udef_binary64
203×log1p-udef_binary64
191×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01026
122526
2326826
Stop Event
1×node limit
Counts
2 → 204

simplify39.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
479×distribute-rgt-in_binary64
453×cancel-sign-sub-inv_binary64
402×fma-neg_binary64
234×fma-def_binary64
156×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
044717
1127685
2289521
3742474
42423464
Stop Event
1×node limit
Counts
252 → 223

prune185.0ms (7.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2221223
Fresh224
Picked011
Done011
Total2245229
Error
0b
Counts
229 → 5
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
0.4b
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
✓0.3b
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
4.7b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
▶0.2b
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
Compiler

Compiled 6008 to 4055 computations (32.5% saved)

localize17.0ms (0.7%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 3 x) y)
✓0.1b
(*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x))
✓0.2b
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)

series28.0ms (1.1%)

Counts
3 → 64
Calls

18 calls:

3.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x))
x
-inf
3.0ms
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
y
-inf
3.0ms
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
y
inf
2.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x))
y
-inf
2.0ms
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
x
inf

rewrite74.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
271×prod-diff_binary64
210×expm1-udef_binary64
209×log1p-udef_binary64
188×egg-rr
186×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01036
123336
2334136
Stop Event
1×node limit
Counts
3 → 188

simplify47.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
626×fma-neg_binary64
347×fma-def_binary64
223×associate-*l*_binary64
187×distribute-rgt-in_binary64
186×unsub-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0521058
11621026
2395713
31061657
43615645
Stop Event
1×node limit
Counts
252 → 218

prune142.0ms (5.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New2180218
Fresh022
Picked011
Done022
Total2185223
Error
0b
Counts
223 → 5
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
▶0.4b
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
✓0.3b
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
4.7b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
✓0.2b
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
Compiler

Compiled 4953 to 2992 computations (39.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (-.f64 3 x) y)
✓0.1b
(fma.f64 x -1/3 1/3)
✓0.3b
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))

series18.0ms (0.7%)

Counts
2 → 36
Calls

9 calls:

7.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
y
-inf
2.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
x
inf
2.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
y
inf
2.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
y
0
1.0ms
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
x
-inf

rewrite50.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
509×log-prod_binary64
199×expm1-udef_binary64
199×log1p-udef_binary64
162×log-pow_binary64
130×prod-diff_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
122319
2290919
Stop Event
1×node limit
Counts
2 → 58

simplify36.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
445×cancel-sign-sub-inv_binary64
423×fma-neg_binary64
372×associate-/l*_binary64
231×distribute-rgt-in_binary64
210×fma-def_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
034561
191529
2213389
3567342
41948332
Stop Event
1×node limit
Counts
94 → 76

prune113.0ms (4.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1620162
Fresh011
Picked011
Done033
Total1625167
Error
0b
Counts
167 → 5
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (-.f64 1 x) (*.f64 (-.f64 3 x) (/.f64 1/3 y)))
✓0.4b
(*.f64 (/.f64 (-.f64 3 x) y) (fma.f64 x -1/3 1/3))
✓0.3b
(*.f64 (-.f64 1 x) (/.f64 (-.f64 3 x) (*.f64 y 3)))
4.7b
(/.f64 (*.f64 (-.f64 1 x) (-.f64 3 x)) (*.f64 y 3))
✓0.2b
(/.f64 (*.f64 (/.f64 (-.f64 3 x) y) (-.f64 1 x)) 3)
Compiler

Compiled 3706 to 2148 computations (42% saved)

regimes336.0ms (12.9%)

Accuracy

Total 0.1b remaining (81.2%)

Threshold costs 0.1b (81.2%)

Counts
73 → 1
Compiler

Compiled 4900 to 3739 computations (23.7% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
12119
23319
34219
44619
54719
Stop Event
1×saturated

end73.0ms (2.8%)

Stop Event
1×fuel
Compiler

Compiled 94 to 71 computations (24.5% saved)

Profiling

Loading profile data...