Details

Time bar (total: 10.3s)

sample12.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
068
178
done78

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

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

series35.0ms

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

simplify1.8s

Counts
18 → 18
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
038213
191186
2210170
3502164
41114164
53066164
done5000164

prune48.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 7.7b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
82×sqrt-prod
54×add-sqr-sqrt
38×sqrt-pow1
32×sqrt-div
31×pow1
20×add-cube-cbrt *-un-lft-identity pow1/2
15×swap-sqr
9×flip3-+ associate-*r* associate-*l* pow-prod-up flip-+ unswap-sqr
6×add-exp-log add-cbrt-cube
5×pow-prod-down pow-sqr
4×frac-times rem-sqrt-square add-log-exp
2×associate-*r/ associate-*l/
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 134
Calls
4 calls:
4.0ms
(sqrt (sqrt (+ (* x x) (* y y))))
25.0ms
(* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
6.0ms
(sqrt (+ (* x x) (* y y)))
4.0ms
(sqrt (+ (* x x) (* y y)))

series197.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(sqrt (sqrt (+ (* x x) (* y y))))
35.0ms
(* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
40.0ms
(sqrt (+ (* x x) (* y y)))
36.0ms
(sqrt (+ (* x x) (* y y)))

simplify4.8s

Counts
146 → 146
Iterations

Useful iterations: 3 (916.0ms)

IterNodesCost
01272962
12521890
29111671
345601616
done50001616

prune239.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 7.7b

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) (pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3))
0.7b
(pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3)
27.4b
(sqrt (+ (* x x) (* y y)))
27.4b
(sqrt (+ (* x x) (* y y)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
204×sqrt-prod
106×add-sqr-sqrt
46×sqrt-div
40×unpow-prod-down cube-prod unswap-sqr
30×associate-*r*
28×add-cube-cbrt *-un-lft-identity
12×associate-*l*
11×pow1 sqrt-pow1
10×add-exp-log
9×flip3-+ flip-+
8×cube-div
7×pow-pow add-cbrt-cube
6×sqr-pow
5×pow1/2
4×frac-times add-log-exp
3×pow-unpow prod-exp
2×cube-mult pow-to-exp rem-sqrt-square unpow3 associate-*r/ associate-*l/ pow-exp
1×*-commutative pow-prod-up sqrt-pow2 cbrt-unprod rem-cube-cbrt
Counts
4 → 183
Calls
4 calls:
47.0ms
(* (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) (pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3))
7.0ms
(pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3)
5.0ms
(sqrt (+ (* x x) (* y y)))
3.0ms
(sqrt (+ (* x x) (* y y)))

series216.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) (pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3))
109.0ms
(pow (sqrt (sqrt (sqrt (+ (* x x) (* y y))))) 3)
34.0ms
(sqrt (+ (* x x) (* y y)))
38.0ms
(sqrt (+ (* x x) (* y y)))

simplify1.7s

Counts
195 → 195
Iterations

Useful iterations: 2 (206.0ms)

IterNodesCost
01755314
14374739
219003253
done50003253

prune558.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 7.7b

localize1.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 (1.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 7.7b

regimes249.0ms

Accuracy

58.8% (9.6b remaining)

Error of 17.3b against oracle of 7.8b and baseline of 31.0b

bsearch53.0ms

Steps
ItersRangePoint
9
6.3129433769575865e+100
1.1419719569126802e+107
1.158407537644574e+105
10
-2.7283838574175814e+156
-2.4047927607493394e+144
-6.523076260268755e+150

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01319
11419
done1419

end0.0ms

sample295.0ms

Algorithm
intervals
Results
172.0ms8000×body80valid