Details

Time bar (total: 2.2s)

sample38.0ms

Algorithm
intervals
Results
14.0ms385×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0185
1255
2275
3275

prune5.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: 0.0b

Counts
2 → 1

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* z t))
0.0b
(+ (+ (* x y) (* z t)) (* a b))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
2×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ add-cbrt-cube flip-+
1×associate-+l+
Counts
2 → 24
Calls
2 calls:
3.0ms
(+ (* x y) (* z t))
6.0ms
(+ (+ (* x y) (* z t)) (* a b))

series28.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(+ (* x y) (* z t))
19.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify79.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0187190
1747179
22644177
35001177

prune38.0ms

Filtered
30 candidates to 24 candidates (20.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New29130
Fresh000
Picked011
Done000
Total29231

Merged error: 0.0b

Counts
31 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (* z t))
0.0b
(+ (exp (log (+ (* x y) (* z t)))) (* a b))
0.5b
(log (+ (* x y) (* z t)))
2.7b
(exp (log (+ (* x y) (* z t))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow1 log-prod
5×add-exp-log
4×log-div exp-prod flip3-+ add-cbrt-cube flip-+
3×exp-sum
2×+-commutative exp-diff sum-log log-pow
1×rem-log-exp rem-exp-log
Counts
4 → 53
Calls
4 calls:
3.0ms
(+ (* x y) (* z t))
6.0ms
(+ (exp (log (+ (* x y) (* z t)))) (* a b))
3.0ms
(log (+ (* x y) (* z t)))
4.0ms
(exp (log (+ (* x y) (* z t))))

series55.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(+ (* x y) (* z t))
19.0ms
(+ (exp (log (+ (* x y) (* z t)))) (* a b))
15.0ms
(log (+ (* x y) (* z t)))
10.0ms
(exp (log (+ (* x y) (* z t))))

simplify83.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0261453
1863403
22756391
35001385

prune69.0ms

Filtered
65 candidates to 50 candidates (23.1%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh000
Picked011
Done011
Total65267

Merged error: 0.0b

Counts
67 → 2

regimes693.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0165
1165

end0.0ms

sample1.0s

Algorithm
intervals
Results
458.0ms11950×body80valid

Profiling

Loading profile data...