Details

Time bar (total: 8.7s)

sample32.0ms

Algorithm
intervals
Results
13.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: 38.9b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite88.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:
34.0ms
(+ (+ (* x x) (* y y)) (* z z))
7.0ms
(+ (* x x) (* y y))
45.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series206.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(+ (+ (* x x) (* y y)) (* z z))
30.0ms
(+ (* x x) (* y y))
121.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify542.0ms

Counts
48 → 48
Iterations
IterNodes
done5000
21301
1236
074

prune309.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 20.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (+ (pow y 2) (* z z)))
0.5b
(* (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))) (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
36.1b
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
36.1b
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
50×add-sqr-sqrt
34×sqrt-pow1
29×pow1
28×sqrt-div
18×*-un-lft-identity pow1/2 add-cube-cbrt
15×swap-sqr
9×flip3-+ associate-*r* associate-*l* pow-prod-up flip-+ add-log-exp unswap-sqr
6×add-cbrt-cube add-exp-log
5×pow-prod-down pow-sqr
4×frac-times
3×sum-log
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 +-commutative associate-+r+ rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 126
Calls
4 calls:
27.0ms
(+ (* x x) (+ (pow y 2) (* z z)))
172.0ms
(* (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))) (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
37.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
52.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

series385.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ (* x x) (+ (pow y 2) (* z z)))
110.0ms
(* (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))) (sqrt (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
112.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
116.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

simplify1.7s

Counts
138 → 138
Iterations
IterNodes
done5000
21993
1319
0130

prune652.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 20.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z))
9.4b
(- (pow x 4) (pow y 4))
36.1b
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z)))
39.8b
(/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))

rewrite339.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
27×difference-of-squares
24×unpow-prod-down
19×*-un-lft-identity
18×sqr-pow
14×times-frac associate-/l*
9×add-cbrt-cube add-exp-log
8×associate-/r/ add-log-exp
7×add-cube-cbrt
6×distribute-lft-out--
5×pow1 flip3-+ flip3-- flip-+ flip--
4×frac-times
3×sqrt-prod
2×cbrt-undiv sqrt-div div-sub div-exp associate-*l/ associate-*r/ associate-/l/
1×+-commutative rem-sqrt-square clear-num associate-/r* sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log prod-exp associate-+l- cbrt-unprod div-inv
Counts
4 → 104
Calls
4 calls:
102.0ms
(+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z))
18.0ms
(- (pow x 4) (pow y 4))
167.0ms
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z)))
49.0ms
(/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))

series538.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z))
51.0ms
(- (pow x 4) (pow y 4))
248.0ms
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y))) (* z z)))
108.0ms
(/ (- (pow x 4) (pow y 4)) (* (+ x y) (- x y)))

simplify813.0ms

Counts
116 → 116
Iterations
IterNodes
done5000
22538
1516
0198

prune598.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 19.9b

localize3.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

prune1.0ms

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 19.9b

regimes871.0ms

Accuracy

59.7% (7.7b remaining)

Error of 25.8b against oracle of 18.1b and baseline of 37.1b

bsearch75.0ms

Steps
ItersRangePoint
9
1.5958334848383986e+119
1.6343128467780486e+124
7.898403675517638e+123
9
-7.123290046831777e+50
-4.989343308395731e+45
-7.0606062487436015e+50

simplify2.0ms

Iterations
IterNodes
done18
118
016

end0.0ms

sample1.1s

Algorithm
intervals
Results
754.0ms8000×body80valid