Details

Time bar (total: 14.2s)

sample66.0ms

Algorithm
intervals
Results
15.0ms36×body2560valid
14.0ms180×body80valid
9.0ms25×body1280valid
7.0ms93×body80nan
3.0ms11×body640valid
1.0msbody320valid
0.0msbody160valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
310
210
19
06

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize21.0ms

Local error

Found 2 expressions with local error:

0.4b
(- (sqrt (+ x (* y y))) y)
20.1b
(sqrt (+ x (* y y)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
*-un-lft-identity
sqrt-prod add-log-exp
pow1 add-cube-cbrt
add-cbrt-cube sqrt-div add-exp-log insert-posit16 difference-of-squares
rem-sqrt-square sub-neg sqrt-pow1 flip3-+ flip3-- pow1/2 diff-log flip-+ flip-- distribute-lft-out--
Counts
2 → 32
Calls
2 calls:
76.0ms
(- (sqrt (+ x (* y y))) y)
9.0ms
(sqrt (+ x (* y y)))

series1.3s

Counts
2 → 6
Calls
2 calls:
121.0ms
(- (sqrt (+ x (* y y))) y)
1.2s
(sqrt (+ x (* y y)))

simplify3.6s

Counts
38 → 38
Iterations
IterNodes
53966
41782
3828
2376
1153
074

prune451.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 16.1b

localize26.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ x (+ (sqrt (+ x (* y y))) y))
1.0b
(+ (sqrt (+ x (* y y))) y)
20.1b
(sqrt (+ x (* y y)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
14×add-sqr-sqrt
13×add-cube-cbrt
12×times-frac
add-cbrt-cube add-exp-log distribute-lft-out add-log-exp
pow1 associate-/r*
flip3-+ sqrt-prod flip-+ insert-posit16 associate-/l*
sqrt-div associate-/r/
cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
3 → 63
Calls
3 calls:
51.0ms
(/ x (+ (sqrt (+ x (* y y))) y))
49.0ms
(+ (sqrt (+ x (* y y))) y)
9.0ms
(sqrt (+ x (* y y)))

series619.0ms

Counts
3 → 9
Calls
3 calls:
242.0ms
(/ x (+ (sqrt (+ x (* y y))) y))
157.0ms
(+ (sqrt (+ x (* y y))) y)
220.0ms
(sqrt (+ x (* y y)))

simplify4.5s

Counts
72 → 72
Iterations
IterNodes
45490
31794
2698
1273
0126

prune796.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 10.1b

regimes174.0ms

Accuracy

97.5% (0.4b remaining)

Error of 10.3b against oracle of 9.9b and baseline of 27.1b

bsearch195.0ms

Steps
ItersRangePoint
9
3.553253670083665e+76
6.612931324241868e+81
1.4077656668833082e+79
8
2.7198035006756976e-164
3.4333147520684464e-161
3.3973180607339597e-161

simplify6.0ms

Iterations
IterNodes
221
121
018

end0.0ms

sample2.3s

Algorithm
intervals
Results
632.0ms1090×body2560valid
533.0ms5361×body80valid
327.0ms820×body1280valid
319.0ms2690×body80nan
116.0ms427×body640valid
42.0ms195×body320valid
15.0ms109×body160valid