Details

Time bar (total: 9.1s)

sample28.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify182.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09243
117243
235243
367243
4116243
5169243
6198243
7202243
done202243

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.6b

localize27.0ms

Local error

Found 2 expressions with local error:

3.3b
(- (* x x) (* (* y 4.0) y))
29.1b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r* associate-/l*
2×pow1 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-sub div-exp flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
11.0ms
(- (* x x) (* (* y 4.0) y))
42.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series167.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(- (* x x) (* (* y 4.0) y))
111.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify1.2s

Counts
50 → 50
Iterations

Useful iterations: 2 (356.0ms)

IterNodesCost
08218250
123716282
2118716122
done500116122

prune254.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x x) (+ (* x x) (* (* y 4.0) y))) (/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y))))
19.0b
(/ (* x x) (+ (* x x) (* (* y 4.0) y)))
20.4b
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))

rewrite134.0ms

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

series242.0ms

Counts
3 → 9
Calls
3 calls:
100.0ms
(- (/ (* x x) (+ (* x x) (* (* y 4.0) y))) (/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y))))
62.0ms
(/ (* x x) (+ (* x x) (* (* y 4.0) y)))
80.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))

simplify2.3s

Counts
77 → 77
Iterations

Useful iterations: 2 (606.0ms)

IterNodesCost
013024493
140722525
2267321805
done500121805

prune349.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize68.0ms

Local error

Found 4 expressions with local error:

19.0b
(/ (* x x) (+ (* x x) (* (* y 4.0) y)))
20.4b
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
20.4b
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
20.4b
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
36×add-cbrt-cube add-exp-log
12×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
11×cbrt-undiv div-exp
10×prod-exp cbrt-unprod
8×associate-/r/
4×pow1 clear-num frac-2neg flip3-+ flip-+ div-inv associate-/l* add-log-exp
Counts
4 → 98
Calls
4 calls:
18.0ms
(/ (* x x) (+ (* x x) (* (* y 4.0) y)))
22.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
30.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
38.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))

series338.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(/ (* x x) (+ (* x x) (* (* y 4.0) y)))
73.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
101.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))
88.0ms
(/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y)))

simplify1.9s

Counts
110 → 110
Iterations

Useful iterations: 2 (452.0ms)

IterNodesCost
010032635
132529673
2230727953
done500027953

prune551.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.6b

regimes268.0ms

Accuracy

56.7% (13.4b remaining)

Error of 13.8b against oracle of 0.3b and baseline of 31.4b

bsearch254.0ms

Steps
ItersRangePoint
9
1.8841348729660574e+121
3.270754152227266e+128
7.3735183150701e+127
6
1.9438090553147822e-153
1.5544812808461908e-152
2.1395518106041052e-153
7
-2.6703146002526768e+20
-6.809545746203195e+18
-9.211266202426182e+18
7
-4.6693392046439585e+80
-2.8553313065515472e+79
-4.332313917220749e+80
8
-1.4870231680618705e+126
-3.431305599926169e+122
-4.754864512281886e+122

simplify22.0ms

Iterations

Useful iterations: 0 (12.0ms)

IterNodesCost
0301100
1361100
done361100

end0.0ms

sample674.0ms

Algorithm
intervals
Results
494.0ms8000×body80valid