Details

Time bar (total: 1.2s)

analyze16.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
93.7%6.2%0.1%7
96.8%3.1%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14

sample18.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05519
15519

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 35.6b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* (* y 4.0) y))
4.2b
(- (* x x) (* (* y 4.0) y))
35.0b
(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite15.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 → 54
Calls
3 calls:
3.0ms
(+ (* x x) (* (* y 4.0) y))
3.0ms
(- (* x x) (* (* y 4.0) y))
8.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)))

simplify57.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049791205
149791205

prune98.0ms

Filtered
52 candidates to 63 candidates (-21.2%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New59463
Fresh000
Picked101
Done000
Total60464

Merged error: 0.4b

Counts
64 → 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

prune10.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 0.4b

Counts
4 → 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

prune6.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044

Merged error: 0.4b

Counts
4 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0)))))
0.0b
(log (exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))))
4.2b
(- (* x x) (* y (* y 4.0)))
35.0b
(/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))

rewrite29.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 → 95
Calls
4 calls:
7.0ms
(exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0)))))
8.0ms
(log (exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))))
3.0ms
(- (* x x) (* y (* y 4.0)))
8.0ms
(/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))

series46.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0)))))
12.0ms
(log (exp (/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))))
7.0ms
(- (* x x) (* y (* y 4.0)))
12.0ms
(/ (- (* x x) (* y (* y 4.0))) (+ (* x x) (* y (* y 4.0))))

simplify55.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049802170
149802170

prune193.0ms

Filtered
86 candidates to 107 candidates (-24.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1070107
Fresh011
Picked011
Done022
Total1074111

Merged error: 0.4b

Counts
111 → 4

regimes155.0ms

Accuracy

58.6% (13.1b remaining)

Error of 13.4b against oracle of 0.3b and baseline of 31.8b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02969
12969

end0.0ms

analyze11.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
93.7%6.2%0.1%7
96.8%3.1%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14

sample476.0ms

Algorithm
intervals
Results
348.0ms8000×body80valid

Profiling

Loading profile data...