Details

Time bar (total: 2.3s)

sample32.0ms

Algorithm
intervals
Results
13.0ms704×body80nan
6.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
194
294

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1.0 x) 1.0)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
44×*-un-lft-identity
42×add-cube-cbrt
39×prod-diff
37×times-frac
13×fma-neg
4×div-inv
3×add-log-exp
2×difference-of-squares
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
1 → 69
Calls
1 calls:
14.0ms
(- (/ 1.0 x) 1.0)

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(- (/ 1.0 x) 1.0)

simplify136.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
0231681
1731395
24033320
35001319

prune89.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1.0 x) 1.0)
0.1b
(sqrt (- (/ 1.0 x) 1.0))
0.1b
(sqrt (- (/ 1.0 x) 1.0))
0.5b
(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
104×add-sqr-sqrt
75×*-un-lft-identity
55×add-cube-cbrt
46×sqrt-prod
43×times-frac
39×prod-diff
21×pow1
16×sqrt-div
14×difference-of-squares
13×fma-neg swap-sqr
10×sqrt-pow1 pow1/2
9×flip3-- associate-*r* associate-*l* flip-- distribute-lft-out--
6×add-exp-log add-cbrt-cube add-log-exp
5×pow-prod-up
4×expm1-log1p-u frac-times log1p-expm1-u div-inv unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*r/ associate-*l/
1×pow2 sub-neg pow-plus sqrt-unprod diff-log prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 179
Calls
4 calls:
14.0ms
(- (/ 1.0 x) 1.0)
18.0ms
(sqrt (- (/ 1.0 x) 1.0))
18.0ms
(sqrt (- (/ 1.0 x) 1.0))
60.0ms
(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))

series435.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- (/ 1.0 x) 1.0)
56.0ms
(sqrt (- (/ 1.0 x) 1.0))
55.0ms
(sqrt (- (/ 1.0 x) 1.0))
292.0ms
(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))

simplify65.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
04071409
118071063
25001992

prune346.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
089

end0.0ms

sample983.0ms

Algorithm
intervals
Results
439.0ms24239×body80nan
199.0ms8000×body80valid