Details

Time bar (total: 18.0s)

sample1.2s

Algorithm
intervals
Results
927.0ms3602×body80nan
75.0ms154×body640valid
66.0ms64×body320valid
4.0ms14×body160valid
3.0ms5×body1280valid
2.0ms19×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done5001
3897
2155
151
024

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.3b

localize53.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (sqrt (+ 1.0 y)) (sqrt y))
1.9b
(- (sqrt (+ z 1.0)) (sqrt z))
2.6b
(- (sqrt (+ t 1.0)) (sqrt t))
3.0b
(- (sqrt (+ 1.0 x)) (sqrt x))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
32×*-un-lft-identity sqrt-prod
16×difference-of-squares
12×distribute-lft-out-- add-log-exp
4×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-- distribute-lft-out
Counts
4 → 76
Calls
4 calls:
33.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
32.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
32.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
36.0ms
(- (sqrt (+ 1.0 x)) (sqrt x))

series367.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
93.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
94.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
92.0ms
(- (sqrt (+ 1.0 x)) (sqrt x))

simplify725.0ms

Counts
88 → 88
Iterations
IterNodes
done5000
21822
1496
0214

prune717.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.9b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
86×*-un-lft-identity
44×sqrt-prod
40×add-sqr-sqrt
30×distribute-lft-out
24×times-frac
16×add-cube-cbrt
12×difference-of-squares
10×add-log-exp
9×distribute-lft-out--
6×associate-/r* add-cbrt-cube add-exp-log
4×pow1 associate-/l*
3×sub-neg flip3-- diff-log flip--
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 107
Calls
4 calls:
52.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
32.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
33.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
46.0ms
(- (sqrt (+ 1.0 x)) (sqrt x))

series502.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
105.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
96.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
108.0ms
(- (sqrt (+ 1.0 x)) (sqrt x))

simplify1.1s

Counts
119 → 119
Iterations
IterNodes
done5004
22787
1666
0277

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
52×sqrt-prod
45×distribute-lft-out
43×add-sqr-sqrt
42×times-frac
27×add-cube-cbrt
12×associate-/r*
8×add-cbrt-cube add-exp-log add-log-exp difference-of-squares
7×associate-/l*
6×distribute-lft-out--
4×pow1 associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- associate-/l/
Counts
4 → 129
Calls
4 calls:
71.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
44.0ms
(/ 1.0 (+ (sqrt (+ 1.0 x)) (sqrt x)))
38.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
49.0ms
(- (sqrt (+ t 1.0)) (sqrt t))

series606.0ms

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

simplify1.3s

Counts
141 → 141
Iterations
IterNodes
done5000
23253
1766
0316

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.8b

localize124.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (sqrt (+ 1.0 y)) (sqrt y))
2.5b
(- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))
2.6b
(- (sqrt (+ t 1.0)) (sqrt t))
9.4b
(* (/ 1.0 (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))) (+ (* (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))))

rewrite564.0ms

Algorithm
rewrite-expression-head
Rules
130×*-un-lft-identity
64×sqrt-prod
57×associate-*l*
53×distribute-lft-out
52×times-frac
48×sqrt-div
47×add-sqr-sqrt
36×unpow-prod-down cube-prod
34×frac-times
32×frac-add
27×flip3-+ flip-+
26×associate-*r/ add-cube-cbrt
19×flip3-- flip--
10×add-log-exp
9×add-cbrt-cube associate-*l/ add-exp-log
8×difference-of-squares
6×pow1 distribute-lft-out--
3×sub-neg diff-log associate-*r* sum-cubes
2×prod-exp associate-/r/ cbrt-unprod unswap-sqr
1×distribute-rgt-in cbrt-undiv distribute-lft-in distribute-rgt-out-- div-exp pow-prod-down *-commutative div-inv
Counts
4 → 165
Calls
4 calls:
54.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
17.0ms
(- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))
39.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
443.0ms
(* (/ 1.0 (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))) (+ (* (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))))

series618.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(- (sqrt (+ 1.0 y)) (sqrt y))
129.0ms
(- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))
86.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
311.0ms
(* (/ 1.0 (+ (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))) (+ (* (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ 1.0 x)) (sqrt x)))))

simplify690.0ms

Counts
177 → 177
Iterations
IterNodes
done5000
11581
0422

prune2.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.8b

regimes720.0ms

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done59
359
258
153
039

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.7s6236×body80nan
170.0ms293×body640valid
44.0ms107×body320valid
8.0ms10×body1280valid
7.0ms25×body160valid
4.0ms33×body80valid