Details

Time bar (total: 1.3m)

sample27.0ms

Algorithm
intervals
Results
13.0ms327×body80valid

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0258
1478
2968
31658
42418
53908
611938
750028

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: 8.2b

Counts
2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* z 2.0) (- 1.0 t))
0.0b
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
8.1b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
21×frac-add
11×frac-2neg clear-num
8×associate-/r* associate-/l/
6×*-commutative
5×flip3-+ flip-+
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l*
1×+-commutative flip3-- flip-- div-inv
Counts
3 → 40
Calls
3 calls:
5.0ms
(* (* z 2.0) (- 1.0 t))
8.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
7.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series165.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(* (* z 2.0) (- 1.0 t))
48.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
68.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify82.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
0492558
12738531
25001531

prune134.0ms

Filtered
49 candidates to 39 candidates (79.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New45449
Fresh000
Picked101
Done000
Total46450

Merged error: 0b

Counts
50 → 4

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))
0.0b
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z))))
0.9b
(/ 2.0 (* t z))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
76×frac-add
21×frac-2neg clear-num
20×flip3-- flip--
18×associate-/r*
9×*-commutative
5×flip3-+ flip-+
4×associate-+l+ associate-+r+
3×+-commutative
2×associate-+l- sub-neg
1×associate-+r- div-inv
Counts
3 → 65
Calls
3 calls:
8.0ms
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))
11.0ms
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z))))
3.0ms
(/ 2.0 (* t z))

series112.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))
59.0ms
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z))))
22.0ms
(/ 2.0 (* t z))

simplify135.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
09401894
143691818
250011818

prune290.0ms

Filtered
74 candidates to 63 candidates (85.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New72274
Fresh213
Picked011
Done000
Total74478

Merged error: 0b

Counts
78 → 4

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t))
0.0b
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t)))
0.2b
(/ (/ 2.0 z) t)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
104×frac-add
34×frac-2neg clear-num
28×flip3-- flip--
27×associate-/l/
10×div-inv
9×associate-/l*
5×flip3-+ flip-+
4×associate-+l+ associate-+r+
3×+-commutative
2×associate-+l- sub-neg
1×associate-+r-
Counts
3 → 83
Calls
3 calls:
8.0ms
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t))
12.0ms
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t)))
3.0ms
(/ (/ 2.0 z) t)

series112.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t))
61.0ms
(+ (/ x y) (+ (- (* 2.0 (/ 1 t)) 2.0) (/ (/ 2.0 z) t)))
20.0ms
(/ (/ 2.0 z) t)

simplify54.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011762549
150012469

prune309.0ms

Filtered
92 candidates to 71 candidates (77.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New92092
Fresh022
Picked011
Done011
Total92496

Merged error: 0b

Counts
96 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))
2.9b
(- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))
3.2b
(* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z)))))
18.2b
(/ (- (+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))) (* (- y) (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
17134×associate-*r/
13298×frac-sub
9128×flip3-- flip--
8944×frac-times
7319×associate-/r*
6960×frac-add
3867×clear-num
3713×*-commutative
3659×frac-2neg
3482×associate-/l/ distribute-neg-frac
2912×associate-*l/
208×un-div-inv
44×difference-of-squares
40×associate-*r*
36×distribute-rgt-out
27×times-frac
26×distribute-rgt-in distribute-lft-in
24×associate--l+
19×sub-neg
16×distribute-lft-neg-in distribute-rgt-neg-in
14×neg-mul-1
12×associate-+r+ associate-/r/
10×associate-*l*
9×associate-/l*
8×associate-+l+
2×flip3-+ flip-+
1×+-commutative neg-sub0 div-sub distribute-frac-neg div-inv
Counts
4 → 7652
Calls
4 calls:
152.0ms
(+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))
33.0ms
(- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))
67.0ms
(* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z)))))
550.0ms
(/ (- (+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))) (* (- y) (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))))

series647.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))
49.0ms
(- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))
112.0ms
(* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z)))))
339.0ms
(/ (- (+ (* x (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))) (* y (- (* (- (* 2.0 (/ 1 t)) 2.0) (- (* 2.0 (/ 1 t)) 2.0)) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))) (* (- y) (- (- (* 2.0 (/ 1 t)) 2.0) (/ 2.0 (* t z)))))

simplify5.6s

Algorithm
egg-herbie
Counts
7664 → 7664
Iterations

Useful iterations: 0 (254.0ms)

IterNodesCost
014813495748

prune1.1m

Filtered
7664 candidates to 7609 candidates (99.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New766407664
Fresh011
Picked011
Done022
Total766447668

Merged error: 0b

Counts
7668 → 4

regimes112.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0208
1208

end0.0ms

sample691.0ms

Algorithm
intervals
Results
424.0ms10469×body80valid