Details

Time bar (total: 1.6s)

analyze186.0ms (11.5%)

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)

sample1.1s (65.6%)

Symmetry

(sort x y)

Results
915.0ms8256×body128valid
65.0ms514×body128invalid
Compiler

Compiled 38 to 29 computations (23.7% saved)

simplify24.0ms (1.5%)

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

Useful iterations: 4 (0.0ms)

IterNodesCost
01013
11513
22613
33913
46611
510911
619811
730711
842911
952211
1057811
1159311
1259611
1351311

prune8.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 42 to 29 computations (31% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series12.0ms (0.8%)

Counts
2 → 60
Calls

2 calls:

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

rewrite5.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
7×add-cbrt-cube_binary64
7×add-exp-log_binary64
4×*-un-lft-identity_binary64
4×add-sqr-sqrt_binary64
4×add-cube-cbrt_binary64
Counts
2 → 33
Calls

2 calls:

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

simplify59.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
753×distribute-rgt-in_binary64
565×associate-/r/_binary64
449×associate-*l*_binary64
391×associate-/r*_binary64
388×associate-*r/_binary64
Counts
93 → 59
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
074985
1140863
2382863
31101863
43121863
55499863

prune30.0ms (1.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New58159
Fresh000
Picked101
Done000
Total59160
Error
0.0b
Counts
60 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 z -1/8 (*.f64 x (/.f64 y 2)))
Compiler

Compiled 755 to 465 computations (38.4% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.5%)

Counts
1 → 36
Calls

1 calls:

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

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

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

simplify58.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
827×fma-def_binary64
684×distribute-rgt-in_binary64
645×distribute-lft-in_binary64
263×associate-*l/_binary64
165×fma-neg_binary64
Counts
46 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
026562
140485
278485
3247485
4960485
54855485
64914485

prune11.0ms (0.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh000
Picked011
Done000
Total22123
Error
0.0b
Counts
23 → 1
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 z -1/8 (*.f64 x (/.f64 y 2)))
Compiler

Compiled 285 to 195 computations (31.6% saved)

regimes94.0ms (5.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
9 → 1
Compiler

Compiled 918 to 711 computations (22.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11011
21011

end48.0ms (3%)

Remove

(sort x y)

Compiler

Compiled 55 to 40 computations (27.3% saved)

Profiling

Loading profile data...