Details

Time bar (total: 3.6s)

sample25.0ms

Algorithm
intervals
Results
8.0ms255×body80valid
2.0ms18×body640valid
1.0ms9×body1280valid
1.0ms12×body320valid
0.0ms6×body160valid

simplify67.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0206
1456
21116
32886
47146
514986
634106
750016

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

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- y z) (- t x))
1.3b
(+ x (/ (* (- y z) (- t x)) (- a z)))
15.5b
(/ (* (- y z) (- t x)) (- a z))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
13×flip3-- flip--
8×frac-times associate-/l/
4×associate-*r/ associate-*l/
2×distribute-rgt-in sub-neg distribute-lft-in associate-/r/ *-commutative associate-/l*
1×+-commutative frac-2neg flip3-+ clear-num flip-+ div-inv
Counts
3 → 31
Calls
3 calls:
7.0ms
(* (- y z) (- t x))
4.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
6.0ms
(/ (* (- y z) (- t x)) (- a z))

series305.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(* (- y z) (- t x))
147.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
124.0ms
(/ (* (- y z) (- t x)) (- a z))

simplify33.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0275238
11066238
25001238

prune127.0ms

Filtered
40 candidates to 33 candidates (82.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New31940
Fresh000
Picked101
Done000
Total32941

Merged error: 3.4b

Counts
41 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a z) (- y z))
1.3b
(+ x (/ (- t x) (/ (- a z) (- y z))))
2.8b
(/ (- t x) (/ (- a z) (- y z)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r/
6×associate-/l/
5×flip3-- flip--
3×frac-2neg div-sub clear-num associate-/r* div-inv
1×+-commutative associate-+r- flip3-+ flip-+
Counts
3 → 26
Calls
3 calls:
4.0ms
(/ (- a z) (- y z))
5.0ms
(+ x (/ (- t x) (/ (- a z) (- y z))))
5.0ms
(/ (- t x) (/ (- a z) (- y z)))

series392.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(/ (- a z) (- y z))
152.0ms
(+ x (/ (- t x) (/ (- a z) (- y z))))
193.0ms
(/ (- t x) (/ (- a z) (- y z)))

simplify70.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0227172
1696172
22840167
35002167

prune106.0ms

Filtered
35 candidates to 30 candidates (85.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New30535
Fresh358
Picked101
Done000
Total341044

Merged error: 3.4b

Counts
44 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ z (- y z))
0.0b
(- (/ a (- y z)) (/ z (- y z)))
1.3b
(+ x (/ (- t x) (- (/ a (- y z)) (/ z (- y z)))))
2.8b
(/ (- t x) (- (/ a (- y z)) (/ z (- y z))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
23×associate-/r/
18×frac-2neg frac-sub
14×clear-num
8×flip3-- flip--
6×distribute-rgt-out-- div-inv
4×sub-div
3×associate-/r*
2×div-sub associate-/l/
1×+-commutative associate-+r- sub-neg flip3-+ flip-+
Counts
4 → 49
Calls
4 calls:
2.0ms
(/ z (- y z))
6.0ms
(- (/ a (- y z)) (/ z (- y z)))
7.0ms
(+ x (/ (- t x) (- (/ a (- y z)) (/ z (- y z)))))
9.0ms
(/ (- t x) (- (/ a (- y z)) (/ z (- y z))))

series398.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ z (- y z))
61.0ms
(- (/ a (- y z)) (/ z (- y z)))
164.0ms
(+ x (/ (- t x) (- (/ a (- y z)) (/ z (- y z)))))
128.0ms
(/ (- t x) (- (/ a (- y z)) (/ z (- y z))))

simplify114.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0373440
11087413
24591390
35001390

prune168.0ms

Filtered
61 candidates to 51 candidates (83.6%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New56561
Fresh459
Picked101
Done000
Total611071

Merged error: 3.4b

Counts
71 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- z) (- (- y z)))
0.0b
(- (/ a (- y z)) (/ (- z) (- (- y z))))
1.3b
(+ x (/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z))))))
2.8b
(/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z)))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
30×frac-sub
29×associate-/r/
20×frac-2neg
18×neg-mul-1 clear-num
11×associate-/r*
8×flip3-- flip--
7×associate-/l*
6×distribute-neg-frac
4×distribute-rgt-out-- div-sub sub-div
2×neg-sub0 div-inv associate-/l/
1×+-commutative associate-+r- sub-neg flip3-+ times-frac distribute-frac-neg flip-+ associate--r-
Counts
4 → 65
Calls
4 calls:
4.0ms
(/ (- z) (- (- y z)))
8.0ms
(- (/ a (- y z)) (/ (- z) (- (- y z))))
8.0ms
(+ x (/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z))))))
10.0ms
(/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z)))))

series410.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ (- z) (- (- y z)))
63.0ms
(- (/ a (- y z)) (/ (- z) (- (- y z))))
158.0ms
(+ x (/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z))))))
143.0ms
(/ (- t x) (- (/ a (- y z)) (/ (- z) (- (- y z)))))

simplify55.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0492672
11575620
25002606

prune200.0ms

Filtered
77 candidates to 64 candidates (83.1%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New73477
Fresh459
Picked011
Done000
Total771087

Merged error: 3.4b

Counts
87 → 10

regimes207.0ms

Accuracy

23.9% (5.9b remaining)

Error of 9.9b against oracle of 4.1b and baseline of 11.8b

bsearch95.0ms

Steps
ItersRangePoint
7
4.5639512795403315e-201
2.5859239974450258e-199
2.666948169572465e-200
10
-1.7794668257788558e-146
-1.4120361073866138e-161
-3.487424751400493e-149

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03516
13516

end0.0ms

sample685.0ms

Algorithm
intervals
Results
258.0ms7852×body80valid
55.0ms477×body640valid
40.0ms275×body1280valid
40.0ms423×body320valid
17.0ms247×body160valid
2.0ms14×body2560valid