Details

Time bar (total: 3.3s)

sample33.0ms

Algorithm
intervals
Results
15.0ms404×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0185
1255
2275
3275

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

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:
5.0ms
(+ (+ (* x y) (* z t)) (* a b))
4.0ms
(+ (* x y) (* z t))

series87.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0187190
1747179
22644177
35001177

prune69.0ms

Filtered
30 candidates to 24 candidates (80.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New28230
Fresh000
Picked011
Done000
Total28331

Merged error: 0.0b

Counts
31 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))
0.0b
(+ (* x y) (* z t))
0.3b
(pow (+ (* x y) (* z t)) 3)
37.3b
(cbrt (pow (+ (* x y) (* z t)) 3))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×add-log-exp
6×unpow-prod-down cube-prod
5×pow1 add-exp-log add-cbrt-cube
4×cube-div flip3-+ flip-+
3×pow-unpow
2×+-commutative cube-mult cbrt-div unpow3 sum-log sqr-pow
1×pow-to-exp pow-pow pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 70
Calls
4 calls:
9.0ms
(+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))
4.0ms
(+ (* x y) (* z t))
4.0ms
(pow (+ (* x y) (* z t)) 3)
4.0ms
(cbrt (pow (+ (* x y) (* z t)) 3))

series247.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))
33.0ms
(+ (* x y) (* z t))
126.0ms
(pow (+ (* x y) (* z t)) 3)
34.0ms
(cbrt (pow (+ (* x y) (* z t)) 3))

simplify58.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0340578
11694519
25002513

prune157.0ms

Filtered
82 candidates to 51 candidates (62.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New81182
Fresh011
Picked011
Done011
Total81485

Merged error: 0.0b

Counts
85 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* x y) (* z t)) (+ (* x y) (* z t)))
0.4b
(* (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))))
1.3b
(cbrt (+ (* x y) (* z t)))
31.1b
(cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-div
40×flip3-+ flip-+
36×frac-times
20×add-sqr-sqrt
18×associate-*l/
13×pow1 cbrt-prod
12×add-cube-cbrt *-un-lft-identity associate-*r/
9×associate-*r*
8×add-exp-log
7×associate-*l*
6×add-cbrt-cube
5×unswap-sqr
4×pow1/3 add-log-exp
3×swap-sqr pow-prod-down
2×prod-exp *-commutative cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus pow3 pow-sqr pow-prod-up
Counts
4 → 118
Calls
4 calls:
9.0ms
(* (+ (* x y) (* z t)) (+ (* x y) (* z t)))
10.0ms
(* (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))))
3.0ms
(cbrt (+ (* x y) (* z t)))
7.0ms
(cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t))))

series332.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (+ (* x y) (* z t)) (+ (* x y) (* z t)))
38.0ms
(* (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))))
99.0ms
(cbrt (+ (* x y) (* z t)))
147.0ms
(cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t))))

simplify82.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
05522128
120952023
250011960

prune379.0ms

Filtered
130 candidates to 93 candidates (71.5%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1291130
Fresh101
Picked011
Done022
Total1304134

Merged error: 0.0b

Counts
134 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (cbrt (+ (* x y) (* z t))) 3) (* a b))
0.0b
(+ (* x y) (* z t))
0.6b
(pow (cbrt (+ (* x y) (* z t))) 3)
1.3b
(cbrt (+ (* x y) (* z t)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod
8×add-log-exp
6×unpow-prod-down cube-prod
5×pow1 add-exp-log
4×cbrt-div flip3-+ add-cbrt-cube flip-+
3×pow-unpow
2×+-commutative cube-div pow-pow pow1/3 sum-log
1×cube-mult pow-to-exp unpow3 pow-exp rem-cube-cbrt sqr-pow
Counts
4 → 67
Calls
4 calls:
10.0ms
(+ (pow (cbrt (+ (* x y) (* z t))) 3) (* a b))
4.0ms
(+ (* x y) (* z t))
5.0ms
(pow (cbrt (+ (* x y) (* z t))) 3)
3.0ms
(cbrt (+ (* x y) (* z t)))

series293.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (pow (cbrt (+ (* x y) (* z t))) 3) (* a b))
37.0ms
(+ (* x y) (* z t))
99.0ms
(pow (cbrt (+ (* x y) (* z t))) 3)
105.0ms
(cbrt (+ (* x y) (* z t)))

simplify55.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0400569
11600508
25002496

prune155.0ms

Filtered
79 candidates to 51 candidates (64.6%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New79079
Fresh000
Picked011
Done033
Total79483

Merged error: 0.0b

Counts
83 → 4

regimes279.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0165
1165

end0.0ms

sample855.0ms

Algorithm
intervals
Results
454.0ms11963×body80valid

Profiling

Loading profile data...