Details

Time bar (total: 2.0s)

sample53.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
12.0ms256×body80valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0189
1369
2689
31179
41749
51959
61979
71979

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.4b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* (* y 4.0) y))
2.0b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
7×add-log-exp
5×add-exp-log add-cbrt-cube
3×pow1 associate-/r* associate-/l*
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 → 55
Calls
3 calls:
4.0ms
(+ (* x x) (* (* y 4.0) y))
3.0ms
(- (* x x) (* (* y 4.0) y))
9.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series26.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(+ (* x x) (* (* y 4.0) y))
7.0ms
(- (* x x) (* (* y 4.0) y))
12.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify38.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0234680
11007622
25001620

prune98.0ms

Filtered
49 candidates to 64 candidates (-30.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New60464
Fresh000
Picked011
Done000
Total60565

Merged error: 0.5b

Counts
65 → 5

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune9.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done011
Total055

Merged error: 0.5b

Counts
5 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3)
0.0b
(cbrt (pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3))
2.0b
(- (* x x) (* (* y 4.0) y))
29.8b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
42×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
36×cbrt-prod
30×unpow-prod-down cube-prod
10×associate-/r/
9×add-exp-log add-cbrt-cube
6×add-log-exp
5×pow1 flip3-+ flip-+ div-inv
3×pow-unpow associate-/r* associate-/l*
2×cbrt-undiv cube-div cube-mult flip3-- unpow3 div-exp pow-exp flip-- associate-/l/ rem-cube-cbrt sqr-pow
1×pow-to-exp sub-neg cbrt-div pow-pow frac-2neg pow1/3 diff-log div-sub clear-num rem-cbrt-cube
Counts
4 → 140
Calls
4 calls:
9.0ms
(pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3)
8.0ms
(cbrt (pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3))
4.0ms
(- (* x x) (* (* y 4.0) y))
11.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series46.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3)
12.0ms
(cbrt (pow (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 3))
7.0ms
(- (* x x) (* (* y 4.0) y))
12.0ms
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify82.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
04822261
124192131
250022116

prune174.0ms

Filtered
84 candidates to 152 candidates (-81.0%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1520152
Fresh022
Picked011
Done022
Total1525157

Merged error: 0.5b

Counts
157 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

29.2b
(cbrt (+ (* x x) (* (* y 4.0) y)))
29.2b
(cbrt (- (* x x) (* (* y 4.0) y)))
29.2b
(cbrt (- (* x x) (* (* y 4.0) y)))
29.2b
(cbrt (- (* x x) (* (* y 4.0) y)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
3×flip3-- flip--
1×flip3-+ flip-+
Counts
4 → 52
Calls
4 calls:
3.0ms
(cbrt (+ (* x x) (* (* y 4.0) y)))
3.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))
3.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))
3.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))

series94.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt (+ (* x x) (* (* y 4.0) y)))
23.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))
23.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))
25.0ms
(cbrt (- (* x x) (* (* y 4.0) y)))

simplify69.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 3 (62.0ms)

IterNodesCost
0207655
1602611
22004587
35001555

prune201.0ms

Filtered
56 candidates to 64 candidates (-14.3%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New64064
Fresh011
Picked011
Done033
Total64569

Merged error: 0.5b

Counts
69 → 5

regimes291.0ms

Accuracy

63% (11.9b remaining)

Error of 12.3b against oracle of 0.4b and baseline of 32.5b

bsearch89.0ms

Steps
ItersRangePoint
7
4.406331765316015e+281
1.4036197289553135e+283
1.0594700362851784e+282
8
7.425258408633695e+80
1.3382692189530693e+84
7.525415719158697e+80
5
4.49412572807228e+54
1.1588960702605698e+55
1.1452543649325624e+55
5
1.2915181054788567e-226
3.8596989622413676e-226
2.8097208709080678e-226

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03128
13128

end0.0ms

sample600.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
374.0ms8000×body80valid

Profiling

Loading profile data...