Details

Time bar (total: 9.6s)

sample75.0ms

Algorithm
intervals
Results
42.0ms256×body80valid
14.0ms256×pre80true

simplify3.0s

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.6b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
15.3b
(/ (* x x) (+ (* x x) (* y y)))
30.6b
(/ (* y y) (+ (* x x) (* y y)))

rewrite119.0ms

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

series199.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
83.0ms
(/ (* x x) (+ (* x x) (* y y)))
51.0ms
(/ (* y y) (+ (* x x) (* y y)))

simplify1.4s

Counts
80 → 80
Iterations
IterNodes
33204
21014
1324
0120

prune519.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

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

prune4.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
15.3b
(/ (* x x) (+ (* x x) (* y y)))
23.1b
(sqrt (+ (* x x) (* y y)))
23.1b
(sqrt (+ (* x x) (* y y)))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt
99×times-frac
64×*-un-lft-identity add-cube-cbrt
54×sqrt-prod
30×swap-sqr
24×associate-*r* associate-*l*
21×add-cbrt-cube add-exp-log
13×pow1
12×sqrt-div
10×associate-/r/
9×unswap-sqr
7×flip3-+ flip-+
6×cbrt-undiv div-exp
5×prod-exp cbrt-unprod div-inv
4×insert-posit16 add-log-exp
3×associate-/r*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×pow2 frac-times clear-num frac-2neg pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up associate-/l*
Counts
4 → 168
Calls
4 calls:
71.0ms
(* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
28.0ms
(/ (* x x) (+ (* x x) (* y y)))
12.0ms
(sqrt (+ (* x x) (* y y)))
12.0ms
(sqrt (+ (* x x) (* y y)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
59.0ms
(/ (* x x) (+ (* x x) (* y y)))
64.0ms
(sqrt (+ (* x x) (* y y)))
53.0ms
(sqrt (+ (* x x) (* y y)))

simplify763.0ms

Counts
180 → 180
Iterations
IterNodes
22101
1687
0210

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

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

prune1.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.1b

regimes107.0ms

Accuracy

74.7% (5.4b remaining)

Error of 5.8b against oracle of 0.4b and baseline of 21.8b

bsearch207.0ms

Steps
ItersRangePoint
7
1.1684990645758312e-189
2.6588906677660977e-187
1.1960469199561086e-189
4
7.83670793742019e-204
1.1697098851104035e-203
1.1093912770840933e-203
8
-5.854063970684074e-210
-2.309052337563708e-214
-5.766846463446123e-210
8
-5.126801769084034e-171
-1.2237292043506105e-174
-1.2474742340765115e-174
11
-1.4482563460685501e+161
-9.993409618766052e+133
-1.359699432060768e+154

simplify12.0ms

Iterations
IterNodes
228
128
027

end0.0ms

sample1.5s

Algorithm
intervals
Results
937.0ms8000×body80valid
345.0ms8000×pre80true