Details

Time bar (total: 9.6s)

sample37.0ms

Algorithm
intervals
Results
7.0ms178×body80valid
7.0ms35×body1280valid
4.0ms27×body640valid
3.0ms128×body80nan
2.0ms12×body1280nan
1.0ms12×body320valid
1.0ms11×body320nan
1.0ms6×body640nan
0.0ms4×body160valid
0.0ms3×body160nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

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

Counts
2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
1.5b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.9b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×flip3-- flip--
4×log-div
3×associate--r-
2×sub-neg div-sub associate-/r/ associate-/l/
1×frac-2neg clear-num div-inv
Counts
4 → 21
Calls
4 calls:
3.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
4.0ms
(/ (- x y) (- 1.0 y))
2.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
2.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series266.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms
(/ (- x y) (- 1.0 y))
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
84.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify91.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0283274
1814268
23330256
35002256

prune95.0ms

Filtered
33 candidates to 28 candidates (84.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New30333
Fresh000
Picked101
Done000
Total31334

Merged error: 0.0b

Counts
34 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
2.9b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
3.2b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
9×flip3-- flip--
6×frac-times
4×log-div clear-num
3×frac-2neg associate-*r/ associate-*r*
2×sub-neg associate-*l/ associate-/r/ un-div-inv associate--r-
1×*-commutative div-inv
Counts
4 → 29
Calls
4 calls:
3.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
5.0ms
(* (- x y) (/ 1 (- 1.0 y)))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
2.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series277.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
37.0ms
(* (- x y) (/ 1 (- 1.0 y)))
85.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
55.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify41.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0315339
11218327
25002317

prune93.0ms

Filtered
41 candidates to 30 candidates (73.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New41041
Fresh022
Picked011
Done000
Total41344

Merged error: 0.0b

Counts
44 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (- 1.0 (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
1.5b
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.1b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
12.8b
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
8×log-div
6×sqr-pow
4×associate-+l+ log-prod
3×difference-cubes associate-+l- flip3-- flip3-+ flip-- flip-+ difference-of-squares
2×associate-+r- sub-neg associate--r+ associate--r-
1×+-commutative
Counts
4 → 24
Calls
4 calls:
21.0ms
(+ (- 1.0 (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
5.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
5.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

series1.0s

Counts
4 → 12
Calls
4 calls:
324.0ms
(+ (- 1.0 (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
183.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
169.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
333.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

simplify46.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0412783
11308777
25001766

prune166.0ms

Filtered
36 candidates to 33 candidates (91.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New35136
Fresh011
Picked101
Done011
Total36339

Merged error: 0.0b

Counts
39 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

9.8b
(+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
12.1b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
12.8b
(log (/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))))
13.9b
(/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
16×sqr-pow
12×log-div
10×associate-/l*
8×unpow-prod-down difference-of-squares
4×flip3-+ associate-/r/ flip-+ associate-/l/
3×log-prod clear-num
2×difference-cubes +-commutative associate-+l+ flip3-- frac-2neg flip-- div-inv
1×div-sub log-rec
Counts
4 → 34
Calls
4 calls:
11.0ms
(+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
12.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
19.0ms
(log (/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))))
23.0ms
(/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))))

series5.7s

Counts
4 → 12
Calls
4 calls:
660.0ms
(+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
167.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
3.8s
(log (/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))))
1.1s
(/ (- (pow (pow 1.0 3) 3) (pow (pow (/ (- x y) (- 1.0 y)) 3) 3)) (+ (+ (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (* (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))))

simplify67.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
05221142
118971132
250011132

prune310.0ms

Filtered
46 candidates to 44 candidates (95.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New44246
Fresh011
Picked101
Done011
Total45449

Merged error: 0.0b

Counts
49 → 4

regimes157.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 18.1b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03019
13019

end0.0ms

sample1.0s

Algorithm
intervals
Results
216.0ms5669×body80valid
167.0ms873×body1280valid
107.0ms797×body640valid
98.0ms3793×body80nan
59.0ms399×body1280nan
49.0ms411×body640nan
43.0ms430×body320valid
20.0ms221×body320nan
19.0ms231×body160valid
5.0ms102×body160nan