Details

Time bar (total: 22.4s)

sample1.1s

Algorithm
intervals
Results
724.0ms4183×body80nan
81.0ms172×body640valid
15.0ms45×body320valid
3.0ms24×body80valid
3.0ms13×body160valid
1.0ms2×body1280valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02431
15131
215531
388331
done500031

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.2b

localize37.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))

rewrite366.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:
68.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
76.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
83.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
121.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series419.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
74.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
118.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
121.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

simplify1.9s

Counts
292 → 292
Iterations

Useful iterations: done (1.9s)

IterNodesCost
04377222
19465071
221643879
done50003208

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize53.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))

rewrite340.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:
78.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
74.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
75.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
99.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series518.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
110.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
87.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
110.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify2.2s

Counts
274 → 274
Iterations

Useful iterations: done (2.2s)

IterNodesCost
04446434
19934598
223823647
done50003126

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize45.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))

rewrite305.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:
53.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
73.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
78.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
77.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series659.0ms

Counts
4 → 12
Calls
4 calls:
247.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
199.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
104.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
109.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.9s

Counts
247 → 247
Iterations

Useful iterations: done (1.8s)

IterNodesCost
04285364
19764006
224593297
done50002939

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize68.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))

rewrite289.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:
47.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
64.0ms
(/ 1.0 (+ (sqrt z) (sqrt (+ z 1.0))))
77.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
82.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series576.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(/ 1.0 (+ (sqrt t) (sqrt (+ t 1.0))))
154.0ms
(/ 1.0 (+ (sqrt z) (sqrt (+ z 1.0))))
184.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
89.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.8s

Counts
220 → 220
Iterations

Useful iterations: done (1.8s)

IterNodesCost
03994292
19413414
225052948
done50012752

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes545.0ms

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
03041
14239
done4239

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s5824×body80nan
124.0ms240×body640valid
22.0ms61×body320valid
4.0ms18×body160valid
4.0ms31×body80valid
3.0ms4×body1280valid