Details

Time bar (total: 12.8s)

sample62.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
12.0ms256×pre80true

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
82884
71046
6573
5339
4177
395
246
122
09

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.6b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
12.9b
(/ (* x x) (+ (* x x) (* y y)))
27.4b
(/ (* y y) (+ (* x x) (* y y)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×add-cbrt-cube add-exp-log
10×*-un-lft-identity times-frac
8×associate-/r/ add-cube-cbrt add-log-exp
6×associate-/r*
5×flip3-+ flip-+
4×pow1 cbrt-undiv div-exp insert-posit16 div-inv difference-of-squares
3×distribute-rgt-out--
2×clear-num frac-2neg prod-exp cbrt-unprod associate-/l*
1×+-commutative sum-log sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- sub-div
Counts
4 → 83
Calls
4 calls:
15.0ms
(+ (* x x) (* y y))
80.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
14.0ms
(/ (* x x) (+ (* x x) (* y y)))
14.0ms
(/ (* y y) (+ (* x x) (* y y)))

series262.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ (* x x) (* y y))
105.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
55.0ms
(/ (* x x) (+ (* x x) (* y y)))
53.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify1.3s

Counts
95 → 95
Iterations
IterNodes
33600
21117
1371
0132

prune782.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x x) (+ (* x x) (* y y))) (/ y (/ (+ (* x x) (* y y)) y)))
0.1b
(/ y (/ (+ (* x x) (* y y)) y))
12.9b
(/ (* x x) (+ (* x x) (* y y)))
21.7b
(/ (+ (* x x) (* y y)) y)

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
96×times-frac
74×add-sqr-sqrt
58×*-un-lft-identity
56×add-cube-cbrt
19×associate-/r*
16×add-cbrt-cube add-exp-log
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp difference-of-squares
4×pow1 insert-posit16
3×clear-num frac-2neg associate-/r/
2×flip3-+ flip-+ associate-/l/
1×sub-neg flip3-- diff-log prod-exp frac-sub cbrt-unprod flip-- distribute-lft-out--
Counts
4 → 146
Calls
4 calls:
52.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ y (/ (+ (* x x) (* y y)) y)))
23.0ms
(/ y (/ (+ (* x x) (* y y)) y))
28.0ms
(/ (* x x) (+ (* x x) (* y y)))
45.0ms
(/ (+ (* x x) (* y y)) y)

series296.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ y (/ (+ (* x x) (* y y)) y)))
53.0ms
(/ y (/ (+ (* x x) (* y y)) y))
83.0ms
(/ (* x x) (+ (* x x) (* y y)))
65.0ms
(/ (+ (* x x) (* y y)) y)

simplify2.9s

Counts
158 → 158
Iterations
IterNodes
37855
21980
1626
0237

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
10
00

prune2.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
10
00

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes140.0ms

Accuracy

77.4% (4.5b remaining)

Error of 5.0b against oracle of 0.5b and baseline of 20.4b

bsearch147.0ms

Steps
ItersRangePoint
10
3.7407158321789828e-168
1.1776345155844838e-156
1.8280244569921237e-162
8
-1.7211850417900504e-162
-3.9974931480295564e-165
-1.664484555914962e-162
8
-1.6499865516092208e+156
-5.015977213843319e+153
-1.3368229266649524e+154

simplify8.0ms

Iterations
IterNodes
225
125
019

end0.0ms

sample1.9s

Algorithm
intervals
Results
952.0ms8000×body80valid
354.0ms8000×pre80true