Details

Time bar (total: 2.4s)

sample36.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
178
done78

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.3b

localize6.0ms

Local error

Found 1 expressions with local error:

27.4b
(sqrt (+ (* x x) (* y y)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 add-cube-cbrt *-un-lft-identity sqrt-div
add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
13.0ms
(sqrt (+ (* x x) (* y y)))

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(sqrt (+ (* x x) (* y y)))

simplify988.0ms

Counts
18 → 18
Iterations

Useful iterations: 3 (123.0ms)

IterNodesCost
038213
191186
2220170
3528164
41456164
done5001164

prune56.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 6.9b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune4.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 6.9b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune2.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 6.9b

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 6.9b

regimes266.0ms

Accuracy

57.1% (10.0b remaining)

Error of 17.8b against oracle of 7.8b and baseline of 31.1b

bsearch134.0ms

Steps
ItersRangePoint
9
1.9585635812996623e+65
6.751285631647885e+73
6.594840577856812e+73
9
-6.5131293794760525e-192
-8.487635768128844e-198
-2.1987617738129647e-195
9
-3.1126840929121046e-155
-6.480441214279564e-161
-7.06955799813849e-161
5
-2.3605217830622897e+113
-8.943088942688669e+112
-1.3725924957185956e+113

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01936
12036
done2036

end0.0ms

sample776.0ms

Algorithm
intervals
Results
440.0ms8000×body80valid