Details

Time bar (total: 3.7s)

sample18.0ms

Algorithm
intervals
Results
7.0ms322×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1183
2183

prune2.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x y) (* z t))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×*-un-lft-identity
4×associate-*l* distribute-lft-out-- difference-of-squares unswap-sqr
3×add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip--
Counts
1 → 20
Calls
1 calls:
12.0ms
(- (* x y) (* z t))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(- (* x y) (* z t))

simplify64.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0111138
1277131
2750131
31758131
45001131

prune33.0ms

Filtered
23 candidates to 17 candidates (73.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New22123
Fresh000
Picked011
Done000
Total22224

Merged error: 0.0b

Counts
24 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* z t) (* z t))
0.3b
(* (* x y) (* x y))
2.0b
(- (* (* x y) (* x y)) (* (* z t) (* z t)))
29.7b
(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t)))

rewrite590.0ms

Algorithm
rewrite-expression-head
Rules
3264×add-sqr-sqrt
1772×*-un-lft-identity
1644×unswap-sqr
942×associate-*l*
763×times-frac
729×difference-of-squares
640×swap-sqr
440×distribute-lft-out
225×distribute-lft-out--
172×*-commutative
146×add-cube-cbrt
109×associate-/l*
82×pow1
48×associate-*r*
34×pow-prod-down
30×add-exp-log add-cbrt-cube
16×prod-exp cbrt-unprod
8×pow-sqr pow-prod-up
7×associate-/r*
6×add-log-exp
4×pow-plus
2×pow2 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 1160
Calls
4 calls:
12.0ms
(* (* z t) (* z t))
12.0ms
(* (* x y) (* x y))
96.0ms
(- (* (* x y) (* x y)) (* (* z t) (* z t)))
132.0ms
(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t)))

series266.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* z t) (* z t))
34.0ms
(* (* x y) (* x y))
109.0ms
(- (* (* x y) (* x y)) (* (* z t) (* z t)))
89.0ms
(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t)))

simplify204.0ms

Algorithm
egg-herbie
Counts
1172 → 1172
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
0132916157
1500216063

prune437.0ms

Filtered
1172 candidates to 183 candidates (15.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New117021172
Fresh000
Picked101
Done011
Total117131174

Merged error: 0.0b

Counts
1174 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (* z t))
0.0b
(+ (* x y) (* z t))
0.0b
(- (* x y) (* z t))
1.2b
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
208×*-un-lft-identity
132×add-sqr-sqrt
92×associate-*l*
77×times-frac
56×distribute-lft-out
36×distribute-lft-out-- difference-of-squares unswap-sqr
24×add-cube-cbrt
11×associate-/r*
10×add-log-exp
7×associate-/l*
6×add-exp-log add-cbrt-cube
4×pow1
3×flip3-+ flip-+
2×+-commutative flip3-- sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
4 → 161
Calls
4 calls:
12.0ms
(+ (* x y) (* z t))
12.0ms
(+ (* x y) (* z t))
13.0ms
(- (* x y) (* z t))
30.0ms
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))

series154.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(+ (* x y) (* z t))
38.0ms
(+ (* x y) (* z t))
41.0ms
(- (* x y) (* z t))
41.0ms
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))

simplify105.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
02671710
18581659
229961651
350011651

prune185.0ms

Filtered
173 candidates to 83 candidates (48.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1712173
Fresh101
Picked011
Done011
Total1724176

Merged error: 0b

Counts
176 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))
1.8b
(cbrt (+ (* x y) (* z t)))
1.8b
(cbrt (+ (* x y) (* z t)))
1.8b
(cbrt (+ (* x y) (* z t)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
211×*-un-lft-identity
123×add-sqr-sqrt
92×associate-*l*
77×times-frac
60×distribute-lft-out
32×distribute-lft-out-- difference-of-squares unswap-sqr
27×add-cube-cbrt
21×cbrt-prod
11×associate-/r*
7×associate-/l*
6×add-exp-log cbrt-div add-cbrt-cube
4×pow1 flip3-+ flip-+ add-log-exp
3×pow1/3
2×associate-/r/ associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv
Counts
4 → 162
Calls
4 calls:
28.0ms
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))
12.0ms
(cbrt (+ (* x y) (* z t)))
14.0ms
(cbrt (+ (* x y) (* z t)))
11.0ms
(cbrt (+ (* x y) (* z t)))

series367.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ (+ (* x y) (* z t)) (- (* x y) (* z t)))
106.0ms
(cbrt (+ (* x y) (* z t)))
114.0ms
(cbrt (+ (* x y) (* z t)))
111.0ms
(cbrt (+ (* x y) (* z t)))

simplify120.0ms

Algorithm
egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
03441880
110311823
234021797
350031779

prune226.0ms

Filtered
174 candidates to 86 candidates (49.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1731174
Fresh101
Picked011
Done112
Total1753178

Merged error: 0b

Counts
178 → 3

regimes128.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
093
193

end0.0ms

sample503.0ms

Algorithm
intervals
Results
232.0ms10368×body80valid