Details

Time bar (total: 10.3s)

sample22.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify342.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0919
11918
23918
37718
412818
518418
621118
721618
done21618

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.6b

localize11.0ms

Local error

Found 2 expressions with local error:

2.6b
(- (* x x) (* (* y 4.0) y))
30.0b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite45.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 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ fma-neg diff-log div-sub div-exp prod-diff clear-num flip-+ div-inv
Counts
2 → 50
Calls
2 calls:
10.0ms
(- (* x x) (* (* y 4.0) y))
33.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series138.0ms

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

simplify2.7s

Counts
56 → 56
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
0911282
12371205
28811090
334631085
done50001085

prune254.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
21.7b
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
22.5b
(/ (* x x) (fma x x (* (* y 4.0) y)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
52×times-frac
49×prod-diff
41×add-sqr-sqrt
39×*-un-lft-identity
37×add-cube-cbrt
19×div-inv
17×add-exp-log add-cbrt-cube
7×fma-neg
6×associate-/r*
5×cbrt-undiv div-exp add-log-exp
4×prod-exp cbrt-unprod
3×pow1 expm1-log1p-u log1p-expm1-u
2×frac-2neg clear-num associate-/l* difference-of-squares
1×sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- distribute-lft-out-- sub-div
Counts
3 → 124
Calls
3 calls:
31.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
45.0ms
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
12.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

series333.0ms

Counts
3 → 9
Calls
3 calls:
140.0ms
(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
99.0ms
(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
95.0ms
(/ (* x x) (fma x x (* (* y 4.0) y)))

simplify2.0s

Counts
133 → 133
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02027019
15005841
217174714
done50003980

prune429.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 2 expressions with local error:

2.0b
(fma x x (- (* (* y 4.0) y)))
30.0b
(/ (fma x x (- (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)))

rewrite26.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
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ fma-udef div-inv
Counts
2 → 41
Calls
2 calls:
1.0ms
(fma x x (- (* (* y 4.0) y)))
23.0ms
(/ (fma x x (- (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)))

series200.0ms

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

simplify2.0s

Counts
47 → 47
Iterations

Useful iterations: done (2.0s)

IterNodesCost
0761080
11711027
2515932
31780929
done5000915

prune192.0ms

Pruning

4 alts after pruning (2 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

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

regimes175.0ms

Accuracy

60.2% (12.6b remaining)

Error of 12.9b against oracle of 0.3b and baseline of 31.9b

bsearch213.0ms

Steps
ItersRangePoint
10
1.2073698495971617e+61
3.217811591970086e+74
3.168622066814081e+74
8
1.6702892525439038e-56
5.683846200959625e-53
1.6377527584540488e-55
10
-3.4395002952206196e-47
-1.5066383282189058e-62
-1.5308621854628612e-62
5
-1.7457635943519997e+137
-5.665103565004941e+136
-1.2876568362185878e+137

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02473
12873
done2873

end0.0ms

sample1.0s

Algorithm
intervals
Results
706.0ms8000×body80valid