Details

Time bar (total: 6.0s)

sample23.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done23
323
220
113
09

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.4b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(+ (+ (* x x) (* y y)) (* z z))
32.7b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
5×add-sqr-sqrt
4×pow1 sum-log *-un-lft-identity add-cube-cbrt
3×flip3-+ add-cbrt-cube add-exp-log sqrt-prod flip-+
2×+-commutative sqrt-div
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2
Counts
3 → 39
Calls
3 calls:
7.0ms
(+ (* x x) (* y y))
22.0ms
(+ (+ (* x x) (* y y)) (* z z))
30.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series234.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(+ (* x x) (* y y))
59.0ms
(+ (+ (* x x) (* y y)) (* z z))
141.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify575.0ms

Counts
48 → 48
Iterations
IterNodes
done5000
21317
1236
074

prune253.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 19.3b

localize38.0ms

Local error

Found 4 expressions with local error:

32.7b
(sqrt (* (* (cbrt (+ (+ (* x x) (* z z)) (pow y 2))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))))
33.9b
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
33.9b
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
33.9b
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))

rewrite272.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
30×flip3-+ flip-+
28×frac-times
26×sqrt-div
24×pow1
15×sqrt-pow1
14×associate-*l/
13×*-un-lft-identity
12×cbrt-prod pow1/3
9×pow-prod-up
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt
6×pow-plus
5×pow-prod-down
4×add-cbrt-cube add-exp-log add-log-exp
3×pow-sqr distribute-lft-out
2×pow2
1×pow1/2 pow3 sqrt-prod
Counts
4 → 92
Calls
4 calls:
211.0ms
(sqrt (* (* (cbrt (+ (+ (* x x) (* z z)) (pow y 2))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))))
15.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
19.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
21.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))

series512.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(sqrt (* (* (cbrt (+ (+ (* x x) (* z z)) (pow y 2))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))) (cbrt (+ (+ (* x x) (* z z)) (pow y 2)))))
135.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
114.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))
120.0ms
(cbrt (+ (+ (* x x) (* z z)) (pow y 2)))

simplify1.1s

Counts
104 → 104
Iterations
IterNodes
done5000
32952
2739
1316
0171

prune610.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 11.8b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune11.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 11.8b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune0.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 11.8b

regimes883.0ms

Accuracy

40.2% (15.5b remaining)

Error of 27.7b against oracle of 12.2b and baseline of 38.2b

bsearch502.0ms

Steps
ItersRangePoint
9
5.605877450284385e+142
5.3446694412844105e+147
6.315276344842778e+143
8
8.131351164067834e-164
3.811409118622053e-161
8.252108775591287e-164
5
4.5337533761911394e-178
9.570875153292016e-178
6.426520176234259e-178
10
-3.129708224594694e-255
-1.0286421208077902e-268
-3.083119173599494e-255
11
-3.1515341824890737e-78
-5.0912124781075906e-101
-6.262510467894122e-101
9
-1.9449249655492605e+111
-9.548992574131866e+103
-2.1993493867760175e+110

simplify4.0ms

Iterations
IterNodes
done30
130
028

end0.0ms

sample799.0ms

Algorithm
intervals
Results
542.0ms8000×body80valid