Details

Time bar (total: 544.0ms)

sample13.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0112
1222
2382
3492
4822
5972
61252
72052
82362
92362

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (- 1.0 x) y)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
26×add-sqr-sqrt
24×prod-diff
16×add-cube-cbrt
11×associate--l+
7×distribute-lft-out--
6×add-log-exp
5×fma-neg difference-of-squares
3×diff-log
2×sub-neg
1×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 50
Calls
1 calls:
43.0ms
(- (- 1.0 x) y)

series17.0ms

Counts
1 → 3
Calls
1 calls:
17.0ms
(- (- 1.0 x) y)

simplify89.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0170368
1540210
22712195
35001140

prune69.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
073
173

end0.0ms

sample279.0ms

Algorithm
intervals
Results
107.0ms7994×body80valid
0.0ms2×body1280valid
0.0ms2×body160valid
0.0ms1×body640valid
0.0ms1×body320valid