Details

Time bar (total: 7.7s)

sample394.0ms

Algorithm
intervals
Results
224.0ms3808×body80nan
42.0ms172×body640valid
7.0ms40×body320valid
2.0ms19×body160valid
1.0ms21×body80valid
1.0ms4×body1280valid

simplify27.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05119
115619
290719
3500119

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize22.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (sqrt (+ z 1.0)) (sqrt z))
2.8b
(- (sqrt (+ y 1.0)) (sqrt y))
3.0b
(- (sqrt (+ t 1.0)) (sqrt t))
3.5b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
228×sqrt-prod
200×*-un-lft-identity
168×prod-diff
148×add-sqr-sqrt
116×add-cube-cbrt
32×distribute-lft-out
28×fma-neg
16×difference-of-squares
12×distribute-lft-out-- add-log-exp
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 280
Calls
4 calls:
29.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
26.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
26.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
29.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series279.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
70.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
69.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
72.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify105.0ms

Algorithm
egg-herbie
Counts
292 → 292
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
09454262
129122932
250022860

prune979.0ms

Filtered
292 candidates to 132 candidates (45.2%)
Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 2.7b

localize25.0ms

Local error

Found 4 expressions with local error:

2.4b
(+ x (- 1.0 x))
2.5b
(- (sqrt (+ z 1.0)) (sqrt z))
2.8b
(- (sqrt (+ y 1.0)) (sqrt y))
3.0b
(- (sqrt (+ t 1.0)) (sqrt t))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
171×sqrt-prod
163×*-un-lft-identity
135×prod-diff
119×add-sqr-sqrt
95×add-cube-cbrt
26×distribute-lft-out
21×fma-neg
15×add-log-exp
12×difference-of-squares
11×associate-+r+
10×distribute-lft-out--
4×pow1 add-exp-log expm1-log1p-u sub-neg diff-log add-cbrt-cube log1p-expm1-u
3×flip3-- fma-def flip--
2×sum-log
1×+-commutative associate-+r- flip3-+ flip-+
Counts
4 → 241
Calls
4 calls:
8.0ms
(+ x (- 1.0 x))
26.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
27.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
28.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series212.0ms

Counts
4 → 12
Calls
4 calls:
1.0ms
(+ x (- 1.0 x))
72.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
70.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
68.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

simplify94.0ms

Algorithm
egg-herbie
Counts
253 → 253
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
08563329
127152292
250012082

prune808.0ms

Filtered
253 candidates to 105 candidates (41.5%)
Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.8b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
2.5b
(- (sqrt (+ z 1.0)) (sqrt z))
2.8b
(- (sqrt (+ y 1.0)) (sqrt y))
3.0b
(- (sqrt (+ t 1.0)) (sqrt t))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
190×*-un-lft-identity
187×sqrt-prod
126×prod-diff
123×add-sqr-sqrt
99×add-cube-cbrt
40×distribute-lft-out
21×fma-neg
18×times-frac
12×difference-of-squares
10×add-log-exp
9×distribute-lft-out--
6×add-exp-log associate-/r* add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u
3×sub-neg flip3-- diff-log flip-- associate-/l*
2×associate-/r/
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
Counts
4 → 253
Calls
4 calls:
23.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
30.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
26.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
26.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series349.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
69.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
69.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
71.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

simplify100.0ms

Algorithm
egg-herbie
Counts
265 → 265
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
09563619
131782584
250012530

prune990.0ms

Filtered
265 candidates to 131 candidates (49.4%)
Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
1.7b
(+ z (- 1.0 z))
2.8b
(- (sqrt (+ y 1.0)) (sqrt y))
3.0b
(- (sqrt (+ t 1.0)) (sqrt t))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
153×*-un-lft-identity
130×sqrt-prod
94×add-sqr-sqrt
93×prod-diff
78×add-cube-cbrt
34×distribute-lft-out
18×times-frac
14×fma-neg
13×add-log-exp
11×associate-+r+
8×difference-of-squares
7×distribute-lft-out--
6×add-exp-log associate-/r* add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u
3×sub-neg fma-def diff-log associate-/l*
2×flip3-- flip3-+ sum-log associate-/r/ flip-- flip-+
1×cbrt-undiv +-commutative associate-+r- frac-2neg div-exp clear-num div-inv
Counts
4 → 214
Calls
4 calls:
23.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
9.0ms
(+ z (- 1.0 z))
29.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
28.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series286.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
1.0ms
(+ z (- 1.0 z))
72.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
72.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

simplify87.0ms

Algorithm
egg-herbie
Counts
226 → 226
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
08572684
129561944
250021788

prune791.0ms

Filtered
226 candidates to 106 candidates (46.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.0b

regimes515.0ms

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03521
13521

end0.0ms

sample1.1s

Algorithm
intervals
Results
625.0ms10718×body80nan
117.0ms496×body640valid
28.0ms154×body320valid
5.0ms42×body160valid
3.0ms11×body1280valid
3.0ms50×body80valid