Details

Time bar (total: 20.6s)

sample1.1s

Algorithm
intervals
Results
771.0ms4183×body80nan
93.0ms172×body640valid
17.0ms45×body320valid
3.0ms13×body160valid
3.0ms24×body80valid
1.0ms2×body1280valid

simplify2.1s

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: 3.2b

localize54.0ms

Local error

Found 4 expressions with local error:

1.9b
(- (sqrt (+ t 1.0)) (sqrt t))
2.2b
(- (sqrt (+ z 1.0)) (sqrt z))
2.6b
(- (sqrt (+ x 1.0)) (sqrt x))
4.4b
(- (sqrt (+ y 1.0)) (sqrt y))

rewrite360.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:
99.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
93.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
57.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
81.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series386.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
81.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
96.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
122.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

simplify2.3s

Counts
292 → 292
Iterations

Useful iterations: done (2.3s)

IterNodesCost
04377222
19465071
221643879
done50003208

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
1.9b
(- (sqrt (+ t 1.0)) (sqrt t))
2.2b
(- (sqrt (+ z 1.0)) (sqrt z))
2.6b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite308.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:
71.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
63.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
53.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
93.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series473.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
92.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
97.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
99.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify2.0s

Counts
274 → 274
Iterations

Useful iterations: done (2.0s)

IterNodesCost
04446434
19934598
223823647
done50003126

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize61.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
0.2b
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
2.2b
(- (sqrt (+ z 1.0)) (sqrt z))
2.6b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite321.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:
39.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
78.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
83.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
98.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series650.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
204.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
127.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
111.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.9s

Counts
247 → 247
Iterations

Useful iterations: done (1.9s)

IterNodesCost
04285364
19764006
224593297
done50002939

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite268.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:
52.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
54.0ms
(/ 1.0 (+ (sqrt z) (sqrt (+ z 1.0))))
72.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
81.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series731.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
202.0ms
(/ 1.0 (+ (sqrt z) (sqrt (+ z 1.0))))
224.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
119.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify2.2s

Counts
220 → 220
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03994292
19413414
225052948
done50012752

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes20.0ms