Details

Time bar (total: 25.3s)

sample1.6s

Algorithm
intervals
Results
1.2s4107×body80nan
88.0ms161×body640valid
60.0ms26×body80valid
37.0ms14×body160valid
21.0ms53×body320valid
1.0ms2×body1280valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02431
15131
215531
388331
done500031

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.0b

localize38.0ms

Local error

Found 4 expressions with local error:

2.2b
(- (sqrt (+ t 1.0)) (sqrt t))
3.4b
(- (sqrt (+ z 1.0)) (sqrt z))
4.0b
(- (sqrt (+ y 1.0)) (sqrt y))
4.1b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite387.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:
92.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
75.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
75.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
108.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series377.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
113.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
72.0ms
(- (sqrt (+ y 1.0)) (sqrt y))
100.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify1.9s

Counts
292 → 292
Iterations

Useful iterations: done (1.9s)

IterNodesCost
04377222
19465071
221643879
done50003208

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
2.2b
(- (sqrt (+ t 1.0)) (sqrt t))
3.4b
(- (sqrt (+ z 1.0)) (sqrt z))
4.1b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite347.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:
84.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
87.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
72.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
78.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series533.0ms

Counts
4 → 12
Calls
4 calls:
222.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
128.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
86.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
96.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify2.0s

Counts
274 → 274
Iterations

Useful iterations: done (2.0s)

IterNodesCost
04446434
19934598
223823647
done50003126

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite385.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:
87.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
104.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
83.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
84.0ms
(- (sqrt (+ z 1.0)) (sqrt z))

series714.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
246.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
102.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
116.0ms
(- (sqrt (+ z 1.0)) (sqrt z))

simplify1.8s

Counts
247 → 247
Iterations

Useful iterations: done (1.8s)

IterNodesCost
04285364
19764006
224603297
done50002938

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite347.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:
44.0ms
(/ 1.0 (+ (sqrt z) (sqrt (+ z 1.0))))
70.0ms
(/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))
103.0ms
(/ (+ 1.0 0) (+ (sqrt y) (sqrt (+ y 1.0))))
112.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series694.0ms

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

simplify1.7s

Counts
220 → 220
Iterations

Useful iterations: done (1.7s)

IterNodesCost
03994292
19413414
225062948
done50012751

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

regimes420.0ms

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
03041
14239
done4239

end0.0ms

sample4.6s

Algorithm
intervals
Results
3.2s15820×body80nan
405.0ms658×body640valid
107.0ms213×body320valid
12.0ms52×body160valid
9.0ms79×body80valid
9.0ms15×body1280valid