Details

Time bar (total: 1.9s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample981.0ms (51.2%)

Infinites
20.6% of outputs are infinite.
Symmetry

(sort x y)

Results
799.0ms8256×body128valid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify54.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
673×fma-neg_binary64
461×fma-def_binary64
143×distribute-rgt-in_binary64
135×cancel-sign-sub-inv_binary64
117×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
23210
37310
419010
542310
667610
7113610
8112410
9135910
10139410
11139410
12135110

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 30 to 21 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite14.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity_binary64
22×add-sqr-sqrt_binary64
18×prod-diff_binary64
17×add-cube-cbrt_binary64
13×distribute-lft-in_binary64
Counts
1 → 58
Calls

1 calls:

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

simplify87.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
725×distribute-rgt-in_binary64
670×distribute-lft-in_binary64
623×fma-def_binary64
470×fma-neg_binary64
304×*-commutative_binary64
Counts
94 → 90
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01281510
12951288
211421234
339201126
445521126
547521126

prune53.0ms (2.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New88290
Fresh000
Picked011
Done000
Total88391
Error
0b
Counts
91 → 3
Alt Table
StatusErrorProgram
22.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
▶1.5b
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 1728 to 754 computations (56.4% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.4b
(+.f64 (*.f64 y z) (*.f64 z x))

series7.0ms (0.4%)

Counts
1 → 18
Calls

1 calls:

7.0ms
(+.f64 (*.f64 y z) (*.f64 z x))

rewrite3.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×+-commutative_binary64
1×flip-+_binary64
1×*-un-lft-identity_binary64
1×flip3-+_binary64
Counts
1 → 14
Calls

1 calls:

3.0ms
(+.f64 (*.f64 y z) (*.f64 z x))

simplify71.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
801×unsub-neg_binary64
588×distribute-rgt-out_binary64
339×distribute-rgt-in_binary64
307×distribute-lft-in_binary64
288×associate-*l*_binary64
Counts
32 → 28
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
032296
1115272
2397271
31233271
42569268
53818268
64353268
75317268

prune18.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh011
Picked011
Done011
Total28331
Error
0b
Counts
31 → 3
Alt Table
StatusErrorProgram
▶22.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
✓1.5b
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 507 to 149 computations (70.6% saved)

localize9.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓1.8b
(*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
✓4.4b
(-.f64 (*.f64 x x) (*.f64 y y))
✓18.3b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))

series66.0ms (3.5%)

Counts
3 → 96
Calls

3 calls:

36.0ms
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
22.0ms
(*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
8.0ms
(-.f64 (*.f64 x x) (*.f64 y y))

rewrite32.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64
21×add-cube-cbrt_binary64
19×prod-diff_binary64
14×flip--_binary64
Counts
3 → 112
Calls

3 calls:

13.0ms
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
8.0ms
(*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
3.0ms
(-.f64 (*.f64 x x) (*.f64 y y))

simplify201.0ms (10.5%)

Algorithm
1×egg-herbie
Rules
945×fma-def_binary64
261×cancel-sign-sub-inv_binary64
251×div-sub_binary64
222×fma-neg_binary64
194×associate-*l*_binary64
Counts
208 → 186
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02264677
15494266
224863884
344923884
449953884
549213884

prune145.0ms (7.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1860186
Fresh000
Picked011
Done022
Total1863189
Error
0b
Counts
189 → 3
Alt Table
StatusErrorProgram
✓22.4b
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 x y))
✓1.5b
(-.f64 (+.f64 y x) (+.f64 (*.f64 y z) (*.f64 z x)))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 4851 to 1648 computations (66% saved)

regimes92.0ms (4.8%)

Accuracy

Total 0.0b remaining (84%)

Threshold costs 0.0b (84%)

Counts
15 → 1
Compiler

Compiled 1088 to 694 computations (36.2% saved)

simplify4.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11413
22413
33413
44413
54913
65113
75113

end53.0ms (2.8%)

Remove

(sort x y)

Compiler

Compiled 90 to 50 computations (44.4% saved)

Profiling

Loading profile data...