Details

Time bar (total: 11.2s)

sample123.0ms

Algorithm
intervals
Results
46.0ms770×body80nan
27.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11310
22110
33010
43610
54510
610410
727710
864610
998910
10138910
11274510
done500010

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (sqrt y) (- (sqrt (/ x y)) (sqrt x)))
0.1b
(- (sqrt (/ x y)) (sqrt x))
16.6b
(sqrt (/ x y))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
26×sqrt-prod
22×*-un-lft-identity
12×times-frac
10×add-cube-cbrt add-log-exp
difference-of-squares
distribute-lft-out--
pow1 diff-log
sub-neg add-cbrt-cube add-exp-log
rem-sqrt-square flip3-- flip-- associate--r+
sqrt-pow1 pow1/2 sqrt-div div-inv associate--r-
Counts
3 → 66
Calls
3 calls:
105.0ms
(- (sqrt y) (- (sqrt (/ x y)) (sqrt x)))
58.0ms
(- (sqrt (/ x y)) (sqrt x))
7.0ms
(sqrt (/ x y))

series349.0ms

Counts
3 → 9
Calls
3 calls:
139.0ms
(- (sqrt y) (- (sqrt (/ x y)) (sqrt x)))
121.0ms
(- (sqrt (/ x y)) (sqrt x))
89.0ms
(sqrt (/ x y))

simplify834.0ms

Counts
75 → 75
Iterations

Useful iterations: done (830.0ms)

IterNodesCost
0152975
1324882
21057825
done5000821

prune439.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (sqrt y) (- (fabs (/ (sqrt x) (sqrt y))) (sqrt x)))
0.1b
(- (fabs (/ (sqrt x) (sqrt y))) (sqrt x))
0.4b
(/ (sqrt x) (sqrt y))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
44×sqrt-prod
39×add-sqr-sqrt
38×*-un-lft-identity
36×times-frac
31×add-cube-cbrt
10×add-log-exp
associate-/r* associate-/l*
add-cbrt-cube add-exp-log
diff-log distribute-lft-out-- difference-of-squares
pow1 sub-neg
flip3-- flip-- associate--r+
cbrt-undiv sqrt-undiv clear-num frac-2neg div-exp div-inv associate--r-
Counts
3 → 96
Calls
3 calls:
51.0ms
(- (sqrt y) (- (fabs (/ (sqrt x) (sqrt y))) (sqrt x)))
13.0ms
(- (fabs (/ (sqrt x) (sqrt y))) (sqrt x))
16.0ms
(/ (sqrt x) (sqrt y))

series262.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(- (sqrt y) (- (fabs (/ (sqrt x) (sqrt y))) (sqrt x)))
75.0ms
(- (fabs (/ (sqrt x) (sqrt y))) (sqrt x))
84.0ms
(/ (sqrt x) (sqrt y))

simplify947.0ms

Counts
105 → 105
Iterations

Useful iterations: done (941.0ms)

IterNodesCost
01801494
13731342
213161280
done50001271

prune468.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes160.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01115
11314
done1314

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.2s23994×body80nan
679.0ms8000×body80valid