Details

Time bar (total: 1.7s)

analyze110.0ms (6.4%)

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
25%62.4%12.6%6
43.7%43.7%12.6%7
46.8%34.3%18.8%8
57.8%23.4%18.8%9
60.1%18%22%10
66%12.1%22%11
67.3%9.2%23.5%12
70.3%6.1%23.5%13
71.1%4.6%24.3%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample712.0ms (41.2%)

Results
691.0ms8256×body128valid
7.0ms79×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess28.0ms (1.6%)

Algorithm
2×egg-herbie
Rules
496×fma-def_binary64
136×fma-neg_binary64
71×distribute-rgt-in_binary64
53×unsub-neg_binary64
46×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12620
24820
310820
425320
536720
649920
768520
8119820
9122320
10127320
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify14.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
265×fma-def_binary64
84×fma-neg_binary64
35×distribute-rgt-in_binary64
25×unsub-neg_binary64
24×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11610
23310
37110
416110
523810
632510
742910
866910
971410
1074610
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
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
6.3b
(-.f64 x (*.f64 y (*.f64 x x)))
▶0.1b
(*.f64 x (-.f64 1 (*.f64 x y)))
Compiler

Compiled 52 to 31 computations (40.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts
1 → 24
Calls

6 calls:

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

rewrite37.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
682×log1p-expm1-u_binary64
682×expm1-log1p-u_binary64
423×prod-diff_binary64
73×add-sqr-sqrt_binary64
68×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
114610
2184110
Stop Event
1×node limit
Counts
1 → 21

simplify37.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
1023×fma-neg_binary64
478×cancel-sign-sub-inv_binary64
266×associate-*l*_binary64
251×unswap-sqr_binary64
205×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09218
123218
250218
3124218
4349218
51199218
62253218
73990218
Stop Event
1×node limit
Counts
45 → 26

prune20.0ms (1.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New22426
Fresh011
Picked101
Done000
Total23528
Error
0.0b
Counts
28 → 5
Alt Table
StatusErrorProgram
6.3b
(-.f64 x (*.f64 y (*.f64 x x)))
32.8b
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) 2)
9.1b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 2)) x) (+.f64 1 (*.f64 x y)))
13.8b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
▶0.1b
(-.f64 x (*.f64 x (*.f64 x y)))
Compiler

Compiled 411 to 239 computations (41.8% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 x (*.f64 x y)))
✓0.2b
(*.f64 x (*.f64 x y))

series15.0ms (0.9%)

Counts
2 → 48
Calls

12 calls:

3.0ms
(-.f64 x (*.f64 x (*.f64 x y)))
y
-inf
2.0ms
(*.f64 x (*.f64 x y))
y
-inf
1.0ms
(*.f64 x (*.f64 x y))
y
0
1.0ms
(*.f64 x (*.f64 x y))
y
inf
1.0ms
(-.f64 x (*.f64 x (*.f64 x y)))
y
inf

rewrite62.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
731×prod-diff_binary64
704×log1p-expm1-u_binary64
704×expm1-log1p-u_binary64
130×egg-rr
73×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0617
113417
2191917
Stop Event
1×node limit
Counts
2 → 130

simplify44.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
1024×fma-neg_binary64
480×cancel-sign-sub-inv_binary64
261×associate-*l*_binary64
251×unswap-sqr_binary64
205×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09386
123386
250386
3124386
4349386
51191386
62249386
73988386
Stop Event
1×node limit
Counts
178 → 137

prune81.0ms (4.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1352137
Fresh224
Picked011
Done000
Total1375142
Error
0b
Counts
142 → 5
Alt Table
StatusErrorProgram
32.8b
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) 2)
32.4b
(-.f64 x (pow.f64 (*.f64 x (sqrt.f64 y)) 2))
13.8b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
▶6.3b
(fma.f64 y (neg.f64 (*.f64 x x)) x)
✓0.1b
(-.f64 x (*.f64 x (*.f64 x y)))
Compiler

Compiled 3656 to 1072 computations (70.7% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓6.0b
(fma.f64 y (neg.f64 (*.f64 x x)) x)

series8.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(fma.f64 y (neg.f64 (*.f64 x x)) x)
y
inf
2.0ms
(fma.f64 y (neg.f64 (*.f64 x x)) x)
y
-inf
2.0ms
(fma.f64 y (neg.f64 (*.f64 x x)) x)
y
0
1.0ms
(fma.f64 y (neg.f64 (*.f64 x x)) x)
x
-inf
1.0ms
(fma.f64 y (neg.f64 (*.f64 x x)) x)
x
inf

rewrite34.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
466×log1p-expm1-u_binary64
466×expm1-log1p-u_binary64
360×unpow-prod-down_binary64
262×log-prod_binary64
159×prod-diff_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0610
11258
215798
Stop Event
1×node limit
Counts
1 → 36

simplify37.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
1023×fma-neg_binary64
478×cancel-sign-sub-inv_binary64
266×associate-*l*_binary64
251×unswap-sqr_binary64
205×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09218
123218
250218
3124218
4349218
51199218
62253218
73990218
Stop Event
1×node limit
Counts
60 → 41

prune19.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New41041
Fresh033
Picked011
Done011
Total41546
Error
0b
Counts
46 → 5
Alt Table
StatusErrorProgram
32.8b
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) 2)
32.4b
(-.f64 x (pow.f64 (*.f64 x (sqrt.f64 y)) 2))
▶13.8b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
✓6.3b
(fma.f64 y (neg.f64 (*.f64 x x)) x)
✓0.1b
(-.f64 x (*.f64 x (*.f64 x y)))
Compiler

Compiled 614 to 228 computations (62.9% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(pow.f64 (*.f64 x y) 3)
✓0.2b
(pow.f64 (*.f64 x y) 2)
✓1.4b
(*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x)
✓11.7b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))

series75.0ms (4.3%)

Counts
4 → 96
Calls

24 calls:

10.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
y
inf
7.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
x
-inf
6.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
y
-inf
6.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
x
inf
4.0ms
(*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x)
x
-inf

rewrite75.0ms (4.4%)

Algorithm
1×batch-egg-rewrite
Rules
259×expm1-udef_binary64
257×log1p-udef_binary64
151×log1p-expm1-u_binary64
151×expm1-log1p-u_binary64
148×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01458
132856
2439656
Stop Event
1×node limit
Counts
4 → 120

simplify62.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
525×distribute-rgt-neg-in_binary64
523×distribute-lft-neg-in_binary64
296×unswap-sqr_binary64
239×*-commutative_binary64
229×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020982
162982
2184982
3778982
41903982
53489982
64794982
Stop Event
1×node limit
Counts
216 → 130

prune93.0ms (5.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1300130
Fresh022
Picked011
Done022
Total1305135
Error
0b
Counts
135 → 5
Alt Table
StatusErrorProgram
32.8b
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) 2)
32.4b
(-.f64 x (pow.f64 (*.f64 x (sqrt.f64 y)) 2))
✓13.8b
(/.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) x) (+.f64 (+.f64 1 (pow.f64 (*.f64 x y) 2)) (*.f64 x y)))
✓6.3b
(fma.f64 y (neg.f64 (*.f64 x x)) x)
✓0.1b
(-.f64 x (*.f64 x (*.f64 x y)))
Compiler

Compiled 3426 to 1905 computations (44.4% saved)

regimes69.0ms (4%)

Accuracy

Total 0.1b remaining (73.1%)

Threshold costs 0.1b (73.1%)

Counts
21 → 1
Compiler

Compiled 864 to 554 computations (35.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
5×+-commutative_binary64
5×sub-neg_binary64
4×distribute-rgt-neg-in_binary64
4×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11310
22510
33610
44210
54510
64610
Stop Event
1×saturated

end63.0ms (3.6%)

Stop Event
1×fuel
Compiler

Compiled 81 to 50 computations (38.3% saved)

Profiling

Loading profile data...