Details

Time bar (total: 3.3s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify20.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0189
1369
2689
31179
41749
51959
61979
71979

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 32.1b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* (* y 4.0) y))
2.5b
(- (* x x) (* (* y 4.0) y))
31.5b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
533×add-sqr-sqrt
482×*-un-lft-identity
333×associate-*l*
216×times-frac
198×unswap-sqr
165×difference-of-squares
156×distribute-lft-out
66×distribute-lft-out--
38×add-cube-cbrt
33×swap-sqr *-commutative
24×associate-/l*
9×associate-/r*
7×add-log-exp
5×add-exp-log add-cbrt-cube
3×pow1
2×flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-sub div-exp clear-num sum-log div-inv
Counts
3 → 316
Calls
3 calls:
21.0ms
(+ (* x x) (* (* y 4.0) y))
21.0ms
(- (* x x) (* (* y 4.0) y))
53.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series161.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (* x x) (* (* y 4.0) y))
45.0ms
(- (* x x) (* (* y 4.0) y))
73.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify84.0ms

Algorithm
egg-herbie
Counts
325 → 325
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04074409
113084348
250014343

prune201.0ms

Filtered
325 candidates to 82 candidates (74.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New3214325
Fresh000
Picked101
Done000
Total3224326

Merged error: 0.1b

Counts
326 → 4

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune8.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 0.1b

Counts
4 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

29.5b
(sqrt (* (* y 4.0) y))
29.5b
(sqrt (* (* y 4.0) y))
30.0b
(sqrt (+ (* x x) (* (* y 4.0) y)))
30.0b
(sqrt (+ (* x x) (* (* y 4.0) y)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
62×sqrt-prod
48×associate-*l*
44×add-sqr-sqrt
40×*-un-lft-identity
18×pow1
16×add-cube-cbrt
14×unswap-sqr
12×associate-*r* distribute-lft-out
8×rem-sqrt-square sqrt-pow1
6×pow-prod-down
4×add-exp-log pow1/2 sqrt-div *-commutative add-cbrt-cube add-log-exp
2×flip3-+ flip-+
Counts
4 → 114
Calls
4 calls:
8.0ms
(sqrt (* (* y 4.0) y))
10.0ms
(sqrt (* (* y 4.0) y))
20.0ms
(sqrt (+ (* x x) (* (* y 4.0) y)))
21.0ms
(sqrt (+ (* x x) (* (* y 4.0) y)))

series196.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(sqrt (* (* y 4.0) y))
42.0ms
(sqrt (* (* y 4.0) y))
62.0ms
(sqrt (+ (* x x) (* (* y 4.0) y)))
56.0ms
(sqrt (+ (* x x) (* (* y 4.0) y)))

simplify85.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0186662
1648650
21893618
35001618

prune260.0ms

Filtered
126 candidates to 84 candidates (33.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1260126
Fresh022
Picked011
Done011
Total1264130

Merged error: 0.1b

Counts
130 → 4

localize12.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))
31.5b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
1413×add-sqr-sqrt
1332×*-un-lft-identity
918×associate-*l*
648×times-frac
522×unswap-sqr
444×exp-prod
438×distribute-lft-out
435×difference-of-squares
223×log-pow
174×distribute-lft-out--
108×add-cube-cbrt
87×swap-sqr *-commutative
24×associate-/l*
9×associate-/r*
7×add-exp-log add-log-exp
6×associate-/r/ add-cbrt-cube
5×pow1
3×log-prod flip3-+ div-sub flip-+ div-inv
2×flip3-- exp-diff rem-log-exp flip-- associate-/l/
1×cbrt-undiv sub-neg log-div frac-2neg diff-log div-exp clear-num rem-exp-log
Counts
4 → 766
Calls
4 calls:
75.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
77.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
21.0ms
(- (* x x) (* (* y 4.0) y))
54.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series268.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))))
68.0ms
(log (exp (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))))
45.0ms
(- (* x x) (* (* y 4.0) y))
71.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify132.0ms

Algorithm
egg-herbie
Counts
778 → 778
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05087603
114387470
250017350

prune675.0ms

Filtered
778 candidates to 173 candidates (77.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New7771778
Fresh101
Picked011
Done022
Total7784782

Merged error: 0.1b

Counts
782 → 4

regimes189.0ms

Accuracy

63.4% (11.5b remaining)

Error of 11.8b against oracle of 0.3b and baseline of 31.6b

bsearch97.0ms

Steps
ItersRangePoint
6
2.2093669181297253e+294
1.836560188400803e+295
1.8120705214528157e+295
7
2.9008814709843022e-137
1.2899744278765863e-135
2.947283386563354e-137
7
2.5693603695882933e-220
6.955914094663762e-219
1.5854439680855296e-219
8
4.910861076357373e-302
3.884159237172627e-299
5.7821985637581754e-301

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03854
13854

end0.0ms

sample358.0ms

Algorithm
intervals
Results
231.0ms8000×body80valid