Details

Time bar (total: 1.3s)

analyze55.0ms (4.1%)

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
50%50%0.1%4
50%50%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
87.4%12.5%0.1%8
87.4%12.5%0.1%9
93.7%6.2%0.1%10
93.7%6.2%0.1%11
96.8%3.1%0.1%12
96.8%3.1%0.1%13
99.1%0.8%0.1%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample844.0ms (63%)

Results
741.0ms7938×body128valid
40.0ms103×body2048valid
30.0ms113×body1024valid
14.0ms66×body512valid
5.0ms36×body256valid
0.0ms5×body128invalid
Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess31.0ms (2.3%)

Algorithm
2×egg-herbie
Rules
128×fma-neg_binary64
44×fma-def_binary64
40×cancel-sign-sub-inv_binary64
35×sub-neg_binary64
19×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01224
12024
22824
34024
47024
513424
618124
728524
835020
941320
1048520
1153020
1254320
1354820
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 10 to 7 computations (30% saved)

simplify17.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
97×fma-neg_binary64
34×fma-def_binary64
32×cancel-sign-sub-inv_binary64
27×sub-neg_binary64
17×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
0812
11312
22012
32912
45012
510412
616012
720812
827210
931710
1037610
1142110
1244410
1345210
1445710
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
Compiler

Compiled 35 to 21 computations (40% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.4%)

Counts
1 → 24
Calls

6 calls:

1.0ms
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
y
-inf
1.0ms
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
y
inf
1.0ms
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
x
inf
1.0ms
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
x
-inf
1.0ms
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
y
0

rewrite41.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
725×log1p-expm1-u_binary64
725×expm1-log1p-u_binary64
615×prod-diff_binary64
80×add-sqr-sqrt_binary64
76×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
11558
220988
Stop Event
1×node limit
Counts
1 → 23

simplify26.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
97×fma-neg_binary64
46×fma-def_binary64
34×cancel-sign-sub-inv_binary64
26×sub-neg_binary64
19×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08221
115221
223221
332221
453221
5105221
6161221
7211221
8289221
9351221
10402221
11426221
12432221
13437221
Stop Event
1×saturated
Counts
47 → 28

prune14.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New27128
Fresh000
Picked011
Done000
Total27229
Error
0.0b
Counts
29 → 2
Alt Table
StatusErrorProgram
▶42.6b
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
✓0.0b
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
Compiler

Compiled 323 to 174 computations (46.1% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x))
✓0.0b
(fma.f64 (-.f64 y x) 1/2 x)
✓0.3b
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)

series89.0ms (6.6%)

Counts
3 → 40
Calls

18 calls:

25.0ms
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
x
0
23.0ms
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
y
0
6.0ms
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
x
-inf
5.0ms
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
y
-inf
5.0ms
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) 1/2 x)) 2)
y
inf

rewrite47.0ms (3.5%)

Algorithm
1×batch-egg-rewrite
Rules
793×log1p-expm1-u_binary64
793×expm1-log1p-u_binary64
408×prod-diff_binary64
85×add-sqr-sqrt_binary64
82×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
119526
2213326
Stop Event
1×node limit
Counts
3 → 75

simplify34.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
923×fma-def_binary64
388×cancel-sign-sub-inv_binary64
216×fma-neg_binary64
190×distribute-neg-frac_binary64
174×associate-/l/_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
072714
1196526
2597510
32581498
Stop Event
1×node limit
Counts
115 → 74

prune44.0ms (3.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New73174
Fresh000
Picked101
Done011
Total74276
Error
0.0b
Counts
76 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
▶26.8b
(*.f64 1/2 (+.f64 x y))
Compiler

Compiled 1206 to 821 computations (31.9% saved)

localize3.0ms (0.2%)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0.0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
✓26.8b
(*.f64 1/2 (+.f64 x y))
Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes38.0ms (2.8%)

Accuracy

Total 0.0b remaining (15.3%)

Threshold costs 0.0b (15.3%)

Counts
11 → 1
Compiler

Compiled 365 to 256 computations (29.9% saved)

simplify2.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11110
21810
32310
42610
52710
Stop Event
1×saturated

end37.0ms (2.7%)

Stop Event
1×done
Compiler

Compiled 34 to 23 computations (32.4% saved)

Profiling

Loading profile data...