Details

Time bar (total: 1.4s)

analyze2.0ms (0.1%)

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)

sample747.0ms (53.6%)

Symmetry

(sort x y)

Results
567.0ms8253×body128valid
1.0ms3×body1024valid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify78.0ms (5.6%)

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

prune3.0ms (0.2%)

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)

localize9.0ms (0.7%)

Local error

Found 1 expressions with local error:

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

series17.0ms (1.2%)

Counts
1 → 36
Calls

1 calls:

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

rewrite26.0ms (1.9%)

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:

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

simplify94.0ms (6.8%)

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

prune51.0ms (3.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh000
Picked011
Done000
Total89291
Error
0b
Counts
91 → 2
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 (+.f64 y x) (neg.f64 (*.f64 z (+.f64 y x))))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 1690 to 730 computations (56.8% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series20.0ms (1.4%)

Counts
2 → 60
Calls

2 calls:

12.0ms
(*.f64 z (+.f64 y x))
8.0ms
(+.f64 (+.f64 y x) (neg.f64 (*.f64 z (+.f64 y x))))

rewrite13.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
17×*-un-lft-identity_binary64
12×add-log-exp_binary64
7×add-sqr-sqrt_binary64
6×sum-log_binary64
6×distribute-lft-out_binary64
Counts
2 → 59
Calls

2 calls:

6.0ms
(+.f64 (+.f64 y x) (neg.f64 (*.f64 z (+.f64 y x))))
4.0ms
(*.f64 z (+.f64 y x))

simplify122.0ms (8.7%)

Algorithm
1×egg-herbie
Rules
560×unsub-neg_binary64
416×times-frac_binary64
382×associate-+l+_binary64
349×*-commutative_binary64
320×associate-+r+_binary64
Counts
119 → 105
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01241487
13731274
215481229
339171229
448121229
552041229

prune54.0ms (3.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1050105
Fresh000
Picked011
Done011
Total1052107
Error
0b
Counts
107 → 2
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (+.f64 y x) (neg.f64 (*.f64 z (+.f64 y x))))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 1 z))
Compiler

Compiled 1699 to 480 computations (71.7% saved)

regimes104.0ms (7.5%)

Accuracy

Total 0.0b remaining (56.6%)

Threshold costs 0.0b (56.6%)

Counts
18 → 1
Compiler

Compiled 1106 to 704 computations (36.3% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×+-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
0810
11410
21810
32010
42110
52010

end46.0ms (3.3%)

Remove

(sort x y)

Compiler

Compiled 63 to 42 computations (33.3% saved)

Profiling

Loading profile data...