Details

Time bar (total: 20.7s)

sample191.0ms

Algorithm
intervals
Results
63.0ms105×body640valid
48.0ms677×body80nan
15.0ms43×body1280valid
13.0ms70×body320valid
4.0ms32×body160valid
0.0msbody80valid

simplify4.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11611
22811
34411
48611
518311
623811
742011
8103411
9346111
done500011

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(sqrt (- x y))
1.8b
(- (sqrt (- x y)) (sqrt x))
4.7b
(- (- (sqrt (- x y)) (sqrt x)) (sqrt (- y)))

rewrite530.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
26×sqrt-prod
19×add-sqr-sqrt
18×distribute-lft-out--
10×add-log-exp
difference-of-squares
pow1 diff-log add-cube-cbrt
sub-neg flip3-- add-cbrt-cube add-exp-log flip--
distribute-rgt-neg-in sqrt-div associate--l+
associate--l- rem-sqrt-square sqrt-pow1 pow1/2
Counts
3 → 60
Calls
3 calls:
14.0ms
(sqrt (- x y))
86.0ms
(- (sqrt (- x y)) (sqrt x))
425.0ms
(- (- (sqrt (- x y)) (sqrt x)) (sqrt (- y)))

series682.0ms

Counts
3 → 9
Calls
3 calls:
137.0ms
(sqrt (- x y))
260.0ms
(- (sqrt (- x y)) (sqrt x))
284.0ms
(- (- (sqrt (- x y)) (sqrt x)) (sqrt (- y)))

simplify3.2s

Counts
69 → 69
Iterations

Useful iterations: done (3.2s)

IterNodesCost
0116913
1255828
2784798
33515772
done5000771

prune394.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 26.9b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- x y))
0.0b
(+ (sqrt (- x y)) (sqrt x))
0.3b
(/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x)))
15.9b
(- (/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x))) (sqrt (- y)))

rewrite849.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
35×sqrt-prod distribute-lft-out
32×times-frac
31×add-sqr-sqrt
18×add-cube-cbrt
distribute-lft-out--
add-log-exp
distribute-rgt-neg-in
associate-/r* add-cbrt-cube add-exp-log
pow1 associate-/l* difference-of-squares
flip3-+ flip-+
neg-sub0 flip3-- sqrt-div div-sub associate-/r/ associate-+l- flip-- associate-/l/
associate--l- cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-exp div-inv
Counts
4 → 107
Calls
4 calls:
13.0ms
(sqrt (- x y))
63.0ms
(+ (sqrt (- x y)) (sqrt x))
142.0ms
(/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x)))
621.0ms
(- (/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x))) (sqrt (- y)))

series912.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(sqrt (- x y))
220.0ms
(+ (sqrt (- x y)) (sqrt x))
257.0ms
(/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x)))
313.0ms
(- (/ (+ (- y) 0) (+ (sqrt (- x y)) (sqrt x))) (sqrt (- y)))

simplify2.2s

Counts
119 → 119
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01742100
14191701
221951626
done50011622

prune587.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 26.9b

regimes374.0ms

Accuracy

0% (0.9b remaining)

Error of 28.6b against oracle of 27.7b and baseline of 28.6b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01339
11739
done1739

end0.0ms

sample6.5s

Algorithm
intervals
Results
2.7s24176×body80nan
972.0ms2952×body640valid
783.0ms1445×body1280valid
431.0ms2080×body320valid
159.0ms1186×body160valid
23.0ms337×body80valid