Details

Time bar (total: 2.2s)

sample29.0ms

Algorithm
intervals
Results
18.0ms135×body1280valid
4.0ms121×body80valid

simplify21.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
0155
1305
2434
3504
4564
5624
6644
7644

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.2b

Counts
2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ 1.0 x) (sqrt (* x x)))
4.4b
(- (/ x x) (* (/ 1.0 x) (sqrt (* x x))))
25.1b
(sqrt (* x x))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
1144×add-sqr-sqrt
682×times-frac
624×prod-diff
600×*-un-lft-identity
588×add-cube-cbrt
385×sqrt-prod
297×associate-*r*
240×unswap-sqr
231×associate-*l*
97×associate-*l/
81×frac-sub
78×swap-sqr
65×associate-/r*
63×div-inv
62×*-commutative
57×associate-/l*
26×difference-of-squares
21×frac-2neg
19×clear-num
13×pow1 fma-neg
8×add-exp-log add-cbrt-cube
7×sub-div
6×sqrt-pow1
5×rem-sqrt-square distribute-lft-out-- add-log-exp
3×expm1-log1p-u log1p-expm1-u
2×pow-prod-down prod-exp cbrt-unprod
1×cbrt-undiv pow2 sub-neg flip3-- pow-plus pow1/2 diff-log div-exp pow-sqr pow-prod-up flip--
Counts
3 → 873
Calls
3 calls:
16.0ms
(* (/ 1.0 x) (sqrt (* x x)))
64.0ms
(- (/ x x) (* (/ 1.0 x) (sqrt (* x x))))
9.0ms
(sqrt (* x x))

series11.0ms

Counts
3 → 9
Calls
3 calls:
1.0ms
(* (/ 1.0 x) (sqrt (* x x)))
1.0ms
(- (/ x x) (* (/ 1.0 x) (sqrt (* x x))))
9.0ms
(sqrt (* x x))

simplify225.0ms

Algorithm
egg-herbie
Counts
882 → 882
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
0262422583
1500118759

prune913.0ms

Filtered
882 candidates to 255 candidates (28.9%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New8811882
Fresh101
Picked101
Done000
Total8831884

Merged error: 0b

Counts
884 → 1

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011

Merged error: 0b

Counts
1 → 1

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0134
1154
2154

end0.0ms

sample763.0ms

Algorithm
intervals
Results
537.0ms3976×body1280valid
124.0ms4024×body80valid