Details

Time bar (total: 2.0s)

sample29.0ms

Algorithm
intervals
Results
18.0ms133×body1280valid
4.0ms123×body80valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
0155
1305
2434
3504
4564
5624
6644
7644

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 18.9b

Counts
2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ 1.0 x) (sqrt (* x x)))
5.1b
(- (/ x x) (* (/ 1.0 x) (sqrt (* x x))))
28.5b
(sqrt (* x x))

rewrite183.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:
21.0ms
(* (/ 1.0 x) (sqrt (* x x)))
66.0ms
(- (/ x x) (* (/ 1.0 x) (sqrt (* x x))))
6.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))

simplify247.0ms

Algorithm
egg-herbie
Counts
882 → 882
Iterations

Useful iterations: 1 (62.0ms)

IterNodesCost
0261822583
1500118765

prune712.0ms

Filtered
882 candidates to 256 candidates (71.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New8811882
Fresh101
Picked101
Done000
Total8831884

Merged error: 0b

Counts
884 → 1

localize6.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

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0124
1144
2144

end0.0ms

sample774.0ms

Algorithm
intervals
Results
552.0ms4075×body1280valid
117.0ms3925×body80valid