Details

Time bar (total: 1.9s)

analyze470.0ms (24.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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
28.1%68.6%3.3%9
40.6%52.3%7.2%10
45.2%46.8%7.9%11
51.5%37.3%11.3%12
59.1%27.1%13.8%13
61.5%24.4%14.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample971.0ms (50.3%)

Results
810.0ms8256×body128valid
86.0ms750×body128invalid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify20.0ms (1%)

Algorithm
1×egg-herbie
Rules
354×fma-def_binary64
246×fma-neg_binary64
53×cancel-sign-sub-inv_binary64
45×distribute-rgt-in_binary64
43×associate--r+_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0911
11711
23011
35711
41269
52188
63478
75588
89698
911528
1012128
1112228
Stop Event
1×saturated
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 z (-.f64 1 y)))
Compiler

Compiled 42 to 26 computations (38.1% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 z (-.f64 1 y))
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

series12.0ms (0.6%)

Counts
2 → 60
Calls

2 calls:

8.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
4.0ms
(*.f64 z (-.f64 1 y))

rewrite47.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
476×log-prod_binary64
382×fma-def_binary64
174×expm1-udef_binary64
173×log1p-udef_binary64
172×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
119318
2259118
Stop Event
1×node limit
Counts
2 → 99
Calls

2 calls:

45.0ms
(*.f64 z (-.f64 1 y))
45.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

simplify33.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
266×fma-def_binary64
247×fma-neg_binary64
56×distribute-rgt-in_binary64
39×unsub-neg_binary64
36×associate--r+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
022505
157478
2126478
3257424
4526424
5953424
61140424
71164424
Stop Event
1×saturated
Counts
159 → 112

prune58.0ms (3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1102112
Fresh000
Picked101
Done000
Total1112113
Error
0b
Counts
113 → 2
Alt Table
StatusErrorProgram
0.0b
(fma.f64 z (-.f64 1 y) (*.f64 x y))
▶0.0b
(fma.f64 x y (*.f64 z (-.f64 1 y)))
Compiler

Compiled 1645 to 852 computations (48.2% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 z (-.f64 1 y))
✓0.0b
(fma.f64 x y (*.f64 z (-.f64 1 y)))

series7.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

7.0ms
(fma.f64 x y (*.f64 z (-.f64 1 y)))

rewrite36.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
760×log1p-expm1-u_binary64
760×expm1-log1p-u_binary64
308×prod-diff_binary64
82×add-sqr-sqrt_binary64
76×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
116311
2200111
Stop Event
1×node limit
Counts
1 → 23
Calls

1 calls:

36.0ms
(fma.f64 x y (*.f64 z (-.f64 1 y)))

simplify26.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
261×fma-def_binary64
257×fma-neg_binary64
55×distribute-rgt-in_binary64
39×unsub-neg_binary64
36×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
021345
154318
2122318
3249264
4518264
5941264
61136264
71160264
Stop Event
1×saturated
Counts
59 → 34

prune31.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New68068
Fresh011
Picked011
Done000
Total68270
Error
0b
Counts
70 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 z (-.f64 1 y) (*.f64 x y))
✓0.0b
(fma.f64 x y (*.f64 z (-.f64 1 y)))
Compiler

Compiled 825 to 437 computations (47% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 z (-.f64 1 y) (*.f64 x y))

series7.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

7.0ms
(fma.f64 z (-.f64 1 y) (*.f64 x y))

rewrite45.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
758×log1p-expm1-u_binary64
758×expm1-log1p-u_binary64
308×prod-diff_binary64
82×add-sqr-sqrt_binary64
76×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
116311
2199711
Stop Event
1×node limit
Counts
1 → 23
Calls

1 calls:

44.0ms
(fma.f64 z (-.f64 1 y) (*.f64 x y))

simplify27.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
261×fma-def_binary64
253×fma-neg_binary64
55×distribute-rgt-in_binary64
39×unsub-neg_binary64
36×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
021345
154318
2122318
3249264
4520264
5943264
61134264
71158264
Stop Event
1×saturated
Counts
59 → 34

prune14.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh000
Picked011
Done011
Total34236
Error
0b
Counts
36 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 z (-.f64 1 y) (*.f64 x y))
✓0.0b
(fma.f64 x y (*.f64 z (-.f64 1 y)))
Compiler

Compiled 403 to 212 computations (47.4% saved)

regimes66.0ms (3.4%)

Accuracy

Total 0.0b remaining (60.9%)

Threshold costs 0.0b (60.9%)

Counts
18 → 1
Compiler

Compiled 716 to 474 computations (33.8% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11311
21711
31911
42011
Stop Event
1×saturated

end39.0ms (2%)

Compiler

Compiled 44 to 28 computations (36.4% saved)

Profiling

Loading profile data...