Details

Time bar (total: 41.9s)

sample356.0ms

Algorithm
intervals
Results
276.0ms256×body80valid

simplify88.0ms

Counts
1 → 1
Iterations
IterNodes
done22
322
221
115
011

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.5b

localize88.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
35.7b
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

rewrite608.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×times-frac
17×add-cube-cbrt *-un-lft-identity
13×sqrt-prod
4×add-exp-log add-cbrt-cube
3×pow1 associate-/r* associate-/l*
2×rem-sqrt-square div-inv associate-/l/ add-log-exp
1×cbrt-undiv frac-2neg sqrt-pow1 flip3-+ pow1/2 sqrt-div div-exp clear-num flip-+
Counts
2 → 54
Calls
2 calls:
214.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
362.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

series1.1s

Counts
2 → 6
Calls
2 calls:
153.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
947.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

simplify8.9s

Counts
60 → 60
Iterations
IterNodes
done5014
33061
2644
1217
0107

prune971.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 18.4b

localize153.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
35.6b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
35.6b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
35.7b
(sqrt (* (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))

rewrite609.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt times-frac
34×add-cube-cbrt *-un-lft-identity
28×sqrt-prod
21×cbrt-prod
9×pow1 sqrt-div
6×add-exp-log associate-/r* associate-/l*
5×add-cbrt-cube
4×sqrt-pow1 add-log-exp
3×flip3-+ pow1/2 flip-+
2×rem-sqrt-square associate-/l/
1×cbrt-undiv frac-times frac-2neg associate-*r/ div-exp pow-prod-down associate-*l/ clear-num div-inv
Counts
4 → 106
Calls
4 calls:
102.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
234.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
121.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
137.0ms
(sqrt (* (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))

series3.1s

Counts
4 → 12
Calls
4 calls:
852.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
399.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
338.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
1.5s
(sqrt (* (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))

simplify6.0s

Counts
118 → 118
Iterations
IterNodes
done5000
31581
2578
1262
0145

prune1.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 18.4b

localize42.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
35.6b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
29×sqrt-prod
16×associate-*r*
15×*-un-lft-identity
13×add-cube-cbrt times-frac
9×sqrt-div
8×unswap-sqr
7×pow1
6×associate-*l*
4×add-exp-log add-cbrt-cube
3×sqrt-pow1 flip3-+ pow1/2 pow-prod-down flip-+
2×frac-times associate-*l/ add-log-exp
1×rem-sqrt-square sqrt-unprod associate-*r/ prod-exp *-commutative cbrt-unprod div-inv
Counts
2 → 64
Calls
2 calls:
197.0ms
(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
69.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series775.0ms

Counts
2 → 6
Calls
2 calls:
516.0ms
(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
260.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify3.5s

Counts
70 → 70
Iterations
IterNodes
done5005
31704
2527
1241
0118

prune606.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 18.4b

localize14.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (sqrt 0.3333333333333333) x)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×associate-*l*
4×add-cube-cbrt *-un-lft-identity sqrt-prod
3×pow1 add-exp-log associate-*r* add-cbrt-cube
2×unswap-sqr
1×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp
Counts
1 → 22
Calls
1 calls:
20.0ms
(* (sqrt 0.3333333333333333) x)

series85.0ms

Counts
1 → 3
Calls
1 calls:
85.0ms
(* (sqrt 0.3333333333333333) x)

simplify9.6s

Counts
25 → 25
Iterations
IterNodes
done5006
64387
51569
4672
3313
2148
170
035

prune143.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 18.3b

regimes1.6s

Accuracy

63.5% (7.1b remaining)

Error of 25.5b against oracle of 18.5b and baseline of 37.8b

bsearch170.0ms

Steps
ItersRangePoint
7
4.618629416418565e+91
9.697809572055496e+93
9.445373192608024e+93
8
-2.3248803182338104e+96
-1.0335410165725188e+93
-2.114597052343944e+96

simplify22.0ms

Iterations
IterNodes
done46
246
139
029

end0.0ms

sample1.3s

Algorithm
intervals
Results
905.0ms8000×body80valid