Details

Time bar (total: 11.7s)

sample24.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
4.0ms256×pre80true

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5000
73699
6840
5403
4208
3103
248
122
09

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.6b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(/ (- x y) (/ (+ (* x x) (* y y)) (+ y x)))
16.8b
(/ (+ (* x x) (* y y)) (+ y x))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
174×times-frac
161×*-un-lft-identity
117×add-sqr-sqrt
79×add-cube-cbrt
22×associate-/r* distribute-lft-out
19×distribute-lft-out-- difference-of-squares
15×associate-/r/
10×add-cbrt-cube add-exp-log
9×flip3-+ flip-+
8×div-inv associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1
2×clear-num frac-2neg
1×+-commutative sum-log flip3-- div-sub flip--
Counts
3 → 177
Calls
3 calls:
12.0ms
(+ (* x x) (* y y))
51.0ms
(/ (- x y) (/ (+ (* x x) (* y y)) (+ y x)))
50.0ms
(/ (+ (* x x) (* y y)) (+ y x))

series241.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(+ (* x x) (* y y))
90.0ms
(/ (- x y) (/ (+ (* x x) (* y y)) (+ y x)))
103.0ms
(/ (+ (* x x) (* y y)) (+ y x))

simplify1.7s

Counts
186 → 186
Iterations
IterNodes
done5001
24896
1814
0248

prune799.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x (+ x y)) (+ (* y y) (* x x))) (/ y (/ (+ (* y y) (* x x)) (+ x y))))
0.0b
(/ y (/ (+ (* y y) (* x x)) (+ x y)))
16.8b
(/ (+ (* y y) (* x x)) (+ x y))
18.0b
(/ (* x (+ x y)) (+ (* y y) (* x x)))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
120×times-frac
100×*-un-lft-identity
75×add-sqr-sqrt
66×add-cube-cbrt
25×associate-/r*
16×add-cbrt-cube add-exp-log distribute-lft-out
13×associate-/r/
8×flip3-+ flip-+
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp
4×pow1 associate-/l/
3×clear-num frac-2neg difference-of-squares
2×associate-*r/
1×sub-neg flip3-- diff-log prod-exp frac-sub cbrt-unprod flip-- distribute-lft-out--
Counts
4 → 167
Calls
4 calls:
96.0ms
(- (/ (* x (+ x y)) (+ (* y y) (* x x))) (/ y (/ (+ (* y y) (* x x)) (+ x y))))
23.0ms
(/ y (/ (+ (* y y) (* x x)) (+ x y)))
27.0ms
(/ (+ (* y y) (* x x)) (+ x y))
22.0ms
(/ (* x (+ x y)) (+ (* y y) (* x x)))

series331.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(- (/ (* x (+ x y)) (+ (* y y) (* x x))) (/ y (/ (+ (* y y) (* x x)) (+ x y))))
69.0ms
(/ y (/ (+ (* y y) (* x x)) (+ x y)))
76.0ms
(/ (+ (* y y) (* x x)) (+ x y))
103.0ms
(/ (* x (+ x y)) (+ (* y y) (* x x)))

simplify1.5s

Counts
179 → 179
Iterations
IterNodes
done5000
24720
1755
0258

prune789.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

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

prune7.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

localize70.0ms

Local error

Found 4 expressions with local error:

16.8b
(/ (+ (* x x) (* y y)) (+ y x))
16.8b
(/ (+ (* x x) (* y y)) (+ y x))
16.8b
(/ (+ (* x x) (* y y)) (+ y x))
18.0b
(/ (* x (+ x y)) (+ (* y y) (* x x)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
39×times-frac
33×add-sqr-sqrt add-cube-cbrt
15×associate-/r* add-cbrt-cube add-exp-log
12×distribute-lft-out
10×associate-/l*
8×flip3-+ associate-/r/ flip-+ associate-/l/
5×cbrt-undiv div-exp
4×pow1 clear-num frac-2neg div-inv add-log-exp
2×associate-*r/
1×prod-exp cbrt-unprod
Counts
4 → 130
Calls
4 calls:
36.0ms
(/ (+ (* x x) (* y y)) (+ y x))
37.0ms
(/ (+ (* x x) (* y y)) (+ y x))
23.0ms
(/ (+ (* x x) (* y y)) (+ y x))
16.0ms
(/ (* x (+ x y)) (+ (* y y) (* x x)))

series328.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(/ (+ (* x x) (* y y)) (+ y x))
83.0ms
(/ (+ (* x x) (* y y)) (+ y x))
68.0ms
(/ (+ (* x x) (* y y)) (+ y x))
89.0ms
(/ (* x (+ x y)) (+ (* y y) (* x x)))

simplify763.0ms

Counts
142 → 142
Iterations
IterNodes
done5000
22522
1385
0127

prune817.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.7b

regimes114.0ms

Accuracy

76.1% (4.7b remaining)

Error of 5.1b against oracle of 0.4b and baseline of 20.0b

bsearch91.0ms

Steps
ItersRangePoint
8
1.4224717713323527e-167
8.131351164067834e-164
7.961862811311691e-164
4
-1.857850302800927e-158
-9.802288210601573e-159
-1.3829499058083108e-158
4
-1.8247717923764384e-32
-9.550880496316068e-33
-1.7889220780789057e-32

simplify3.0ms

Iterations
IterNodes
done30
130
024

end0.0ms

sample889.0ms

Algorithm
intervals
Results
520.0ms8000×body80valid
175.0ms8000×pre80true