Details

Time bar (total: 1.7s)

analyze163.0ms (9.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
49.9%49.9%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%8
81.1%18.7%0.1%9
81.1%18.7%0.1%10
81.1%15.6%3.3%11
84.3%10.9%4.8%12
84.3%10.9%4.8%13
84.3%8.6%7.2%14
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample900.0ms (53.7%)

Symmetry

(sort x y)

Results
790.0ms8255×body128valid
45.0ms484×body128invalid
0.0ms1×body1024valid
Compiler

Compiled 38 to 29 computations (23.7% saved)

simplify20.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
209×fma-def_binary64
157×fma-neg_binary64
57×cancel-sign-sub-inv_binary64
42×distribute-rgt-neg-in_binary64
36×associate-/l*_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01013
11513
22613
33913
46911
512211
623711
742811
868011
996711
10108211
11111211
12111511
Stop Event
1×saturated
Counts
1 → 2

prune3.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 z -1/8 (*.f64 y (*.f64 x 1/2)))
Compiler

Compiled 42 to 30 computations (28.6% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite37.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
757×log1p-expm1-u_binary64
757×expm1-log1p-u_binary64
165×prod-diff_binary64
89×add-sqr-sqrt_binary64
84×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
118211
2206511
Stop Event
1×node limit
Counts
1 → 23
Calls

1 calls:

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

simplify33.0ms (2%)

Algorithm
1×egg-herbie
Rules
269×fma-def_binary64
143×fma-neg_binary64
49×distribute-rgt-neg-in_binary64
46×cancel-sign-sub-inv_binary64
27×unsub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
012402
123348
244348
364348
4104348
5180348
6303348
7487348
8643348
9819348
10885348
11889348
Stop Event
1×saturated
Counts
59 → 29

prune17.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28129
Fresh000
Picked011
Done000
Total28230
Error
0.0b
Counts
30 → 2
Alt Table
StatusErrorProgram
▶33.5b
(pow.f64 (sqrt.f64 (fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2)))) 2)
✓0.0b
(fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2)))
Compiler

Compiled 391 to 279 computations (28.6% saved)

localize9.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series169.0ms (10.1%)

Counts
2 → 24
Calls

2 calls:

137.0ms
(pow.f64 (sqrt.f64 (fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2)))) 2)
32.0ms
(sqrt.f64 (fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2))))

rewrite51.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
886×log1p-expm1-u_binary64
886×expm1-log1p-u_binary64
165×prod-diff_binary64
106×add-sqr-sqrt_binary64
101×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01224
124524
2248224
Stop Event
1×node limit
Counts
2 → 47
Calls

2 calls:

50.0ms
(sqrt.f64 (fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2))))
50.0ms
(pow.f64 (sqrt.f64 (fma.f64 z -1/8 (*.f64 y (*.f64 x 1/2)))) 2)

simplify37.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
386×times-frac_binary64
362×fma-neg_binary64
336×unswap-sqr_binary64
268×associate-/r*_binary64
247×associate-*r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
076682
1233612
2725594
34067594
Stop Event
1×node limit
Counts
71 → 69

prune52.0ms (3.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New97198
Fresh000
Picked101
Done101
Total991100
Error
0b
Counts
100 → 1
Alt Table
StatusErrorProgram
▶0b
(fma.f64 x (*.f64 1/2 y) (*.f64 z -1/8))
Compiler

Compiled 1773 to 1318 computations (25.7% saved)

localize5.0ms (0.3%)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
StatusErrorProgram
✓0b
(fma.f64 x (*.f64 1/2 y) (*.f64 z -1/8))
Compiler

Compiled 11 to 8 computations (27.3% saved)

regimes126.0ms (7.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
13 → 1
Compiler

Compiled 1247 to 982 computations (21.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11111
Stop Event
1×saturated

end40.0ms (2.4%)

Remove

(sort x y)

Compiler

Compiled 55 to 40 computations (27.3% saved)

Profiling

Loading profile data...