Details

Time bar (total: 15.3s)

sample469.0ms

Algorithm
intervals
Results
243.0ms4062×body80nan
44.0ms173×body640valid
9.0ms48×body320valid
2.0ms15×body160valid
1.0ms19×body80valid
0.0ms1×body1280valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02431
15131
215531
388331
done500031

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.7b

localize22.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (sqrt (+ x 1.0)) (sqrt x))
2.3b
(- (sqrt (+ z 1.0)) (sqrt z))
2.5b
(- (sqrt (+ y 1.0)) (sqrt y))
3.6b
(- (sqrt (+ t 1.0)) (sqrt t))

rewrite219.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:
51.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
49.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
50.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
50.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series288.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
76.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
74.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
68.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

simplify1.2s

Counts
292 → 292
Iterations

Useful iterations: done (1.1s)

IterNodesCost
04377222
19465071
221643879
done50003208

prune779.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
2.1b
(- (sqrt (+ x 1.0)) (sqrt x))
2.3b
(- (sqrt (+ z 1.0)) (sqrt z))
2.5b
(- (sqrt (+ y 1.0)) (sqrt y))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
212×*-un-lft-identity
191×sqrt-prod
126×prod-diff
124×add-sqr-sqrt
100×add-cube-cbrt
51×distribute-lft-out
24×times-frac
21×fma-neg
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 associate-/l*
3×sub-neg flip3-- diff-log flip--
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 262
Calls
4 calls:
50.0ms
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
50.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
49.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
53.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series358.0ms

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

simplify1.5s

Counts
274 → 274
Iterations

Useful iterations: done (1.5s)

IterNodesCost
04446434
19944597
223823647
done50013131

prune822.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
0.2b
(/ 1.0 (+ (sqrt y) (sqrt (+ y 1.0))))
2.1b
(- (sqrt (+ x 1.0)) (sqrt x))
2.3b
(- (sqrt (+ z 1.0)) (sqrt z))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
202×*-un-lft-identity
150×sqrt-prod
99×add-sqr-sqrt
84×prod-diff
83×add-cube-cbrt
59×distribute-lft-out
42×times-frac
14×fma-neg
12×associate-/r*
8×add-exp-log add-cbrt-cube add-log-exp difference-of-squares
7×associate-/l*
6×distribute-lft-out--
4×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u
3×flip3-+ flip-+
2×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- div-inv associate-/l/
Counts
4 → 235
Calls
4 calls:
51.0ms
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
38.0ms
(/ 1.0 (+ (sqrt y) (sqrt (+ y 1.0))))
52.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
52.0ms
(- (sqrt (+ z 1.0)) (sqrt z))

series414.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
140.0ms
(/ 1.0 (+ (sqrt y) (sqrt (+ y 1.0))))
66.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
73.0ms
(- (sqrt (+ z 1.0)) (sqrt z))

simplify1.3s

Counts
247 → 247
Iterations

Useful iterations: done (1.2s)

IterNodesCost
04285364
19764006
224623297
done50012939

prune842.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
0.2b
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
0.2b
(/ 1.0 (+ (sqrt y) (sqrt (+ y 1.0))))
2.3b
(- (sqrt (+ z 1.0)) (sqrt z))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
192×*-un-lft-identity
109×sqrt-prod
74×add-sqr-sqrt
67×distribute-lft-out
66×add-cube-cbrt
60×times-frac
42×prod-diff
18×associate-/r*
10×add-exp-log add-cbrt-cube associate-/l*
7×fma-neg
6×associate-/r/ add-log-exp
4×pow1 expm1-log1p-u flip3-+ flip-+ log1p-expm1-u difference-of-squares
3×cbrt-undiv frac-2neg div-exp clear-num div-inv distribute-lft-out--
2×associate-/l/
1×sub-neg flip3-- diff-log flip--
Counts
4 → 208
Calls
4 calls:
35.0ms
(/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
50.0ms
(/ (+ 1.0 0) (+ (sqrt t) (sqrt (+ t 1.0))))
36.0ms
(/ 1.0 (+ (sqrt y) (sqrt (+ y 1.0))))
52.0ms
(- (sqrt (+ z 1.0)) (sqrt z))

series492.0ms

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

simplify1.3s

Counts
220 → 220
Iterations

Useful iterations: done (1.3s)

IterNodesCost
04014294
19483414
225332947
done50012752

prune832.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

regimes230.0ms

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
03041
14239
done4239

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s21459×body80nan
226.0ms927×body640valid
54.0ms299×body320valid
11.0ms79×body160valid
6.0ms107×body80valid
5.0ms16×body1280valid