Details

Time bar (total: 9.1s)

sample33.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify312.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11719
23519
36719
411119
515819
617319
717419
done17419

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize17.0ms

Local error

Found 2 expressions with local error:

2.1b
(- (* x x) (* (* y 4.0) y))
28.9b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite48.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:
9.0ms
(- (* x x) (* (* y 4.0) y))
38.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series153.0ms

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

simplify2.5s

Counts
50 → 50
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0821196
12201174
27381060
327121056
done50001042

prune180.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

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

prune6.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

localize22.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (* x x) (* (* y 4.0) y))
28.9b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
28.9b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
28.9b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite134.0ms

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

series351.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(- (* x x) (* (* y 4.0) y))
100.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
92.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))
92.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify3.1s

Counts
120 → 120
Iterations

Useful iterations: done (3.0s)

IterNodesCost
0823148
12203096
27382810
327122802
done50002764

prune628.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.4b

localize3.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 (0 fresh and 4 done)

Merged error: 0.4b

regimes240.0ms

Accuracy

58.9% (13.0b remaining)

Error of 13.3b against oracle of 0.3b and baseline of 32.0b

bsearch122.0ms

Steps
ItersRangePoint
3
1.6077432613941764e+244
2.0636898307059888e+244
1.8072198854680942e+244
9
2.0316126438251275e+174
6.416916855260158e+181
2.175989416098919e+174
9
8.230670362041087e+131
1.7664369155712318e+137
1.7503200824359287e+137
10
2.1744213848939248e-280
2.885776010178131e-265
1.4807901856142215e-275

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02373
12873
done2873

end0.0ms

sample1.2s

Algorithm
intervals
Results
919.0ms8000×body80valid