Details

Time bar (total: 4.7s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify141.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0919
11719
23519
37019
411819
516619
618619
718719
done18719

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize8.0ms

Local error

Found 2 expressions with local error:

2.5b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite14.0ms

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

series101.0ms

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

simplify1.5s

Counts
50 → 50
Iterations

Useful iterations: done (1.5s)

IterNodesCost
0821196
12191174
27541060
333191056
done50011055

prune122.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune4.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
0.0b
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
2.5b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
30×exp-prod
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
16×log-pow
7×add-log-exp
6×add-exp-log associate-/r/ add-cbrt-cube
5×pow1
3×log-prod flip3-+ div-sub associate-/r* flip-+ div-inv associate-/l*
2×flip3-- exp-diff flip-- associate-/l/
1×cbrt-undiv sub-neg log-div frac-2neg diff-log div-exp rem-log-exp clear-num rem-exp-log
Counts
4 → 96
Calls
4 calls:
16.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
17.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
3.0ms
(- (* x x) (* (* y 4.0) y))
11.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series240.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
62.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
40.0ms
(- (* x x) (* (* y 4.0) y))
62.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify1.6s

Counts
108 → 108
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01352542
12792444
28402221
335262213
done50002212

prune263.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.1b

regimes162.0ms

Accuracy

60.4% (12.5b remaining)

Error of 12.9b against oracle of 0.4b and baseline of 32.0b

bsearch62.0ms

Steps
ItersRangePoint
9
1.0689823296404604e+291
1.784483923725339e+300
2.232837377283158e+293
8
1.2562717583378653e-105
7.290616164630652e-101
2.009105932256526e-105
3
2.139875022389607e-246
2.694977318668341e-246
2.6510033806694153e-246
0
0.0
9.8813129168249e-324
4.9406564584125e-324

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02679
13177
23377
done3377

end0.0ms

sample353.0ms

Algorithm
intervals
Results
226.0ms8000×body80valid