Details

Time bar (total: 6.5s)

sample109.0ms

Algorithm
intervals
Results
42.0ms822×body80nan
10.0ms189×body80valid
9.0ms14×body1280valid
7.0ms21×body640valid
4.0ms19×body320valid
2.0ms14×body160valid

simplify180.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0269
1499
21189
32569
45339
512509
626379
742979
845739
945889
1045889

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

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- z 1.0) (log (- 1.0 y)))
0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.1b
(* (- x 1.0) (log y))
4.2b
(log (- 1.0 y))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
4×flip3-- associate-*l/ flip--
2×log-div associate--l+ *-commutative
1×+-commutative sub-neg
Counts
4 → 14
Calls
4 calls:
4.0ms
(* (- z 1.0) (log (- 1.0 y)))
12.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
3.0ms
(* (- x 1.0) (log y))
2.0ms
(log (- 1.0 y))

series303.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (- z 1.0) (log (- 1.0 y)))
155.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
59.0ms
(* (- x 1.0) (log y))
43.0ms
(log (- 1.0 y))

simplify105.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0310226
1955219
23686198
35001198

prune101.0ms

Filtered
26 candidates to 23 candidates (88.5%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New20626
Fresh000
Picked101
Done000
Total21627

Merged error: 0.1b

Counts
27 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0b
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.0b
(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.1b
(* (- x 1.0) (log y))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
27×flip3-- flip--
24×associate-*l/
16×frac-add
13×associate-*r/
12×frac-times
6×unpow2 sqr-pow
5×associate-*r*
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in times-frac
3×*-commutative
2×clear-num associate-/r* associate-/l*
1×+-commutative frac-2neg flip3-+ un-div-inv flip-+ div-inv
Counts
4 → 53
Calls
4 calls:
10.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
5.0ms
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
5.0ms
(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
4.0ms
(* (- x 1.0) (log y))

series329.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
50.0ms
(* 1/2 (/ (pow y 2) (pow 1.0 2)))
67.0ms
(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
59.0ms
(* (- x 1.0) (log y))

simplify110.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 2 (96.0ms)

IterNodesCost
06671402
137431400
250021399

prune346.0ms

Filtered
65 candidates to 53 candidates (81.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New62365
Fresh325
Picked011
Done000
Total65671

Merged error: 0.1b

Counts
71 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log (- (* 1.0 1.0) (* y y))) (log (+ 1.0 y))))) t)
0.1b
(* (- x 1.0) (log y))
2.3b
(log (- (* 1.0 1.0) (* y y)))
4.3b
(log (+ 1.0 y))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
26×associate--l+
16×associate-+r+
13×*-commutative
12×log-prod difference-of-squares
8×distribute-rgt-in log-div distribute-lft-in
4×associate--r-
3×sub-neg flip3-- flip3-+ flip-- flip-+
2×associate-*l/
1×+-commutative
Counts
4 → 33
Calls
4 calls:
16.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log (- (* 1.0 1.0) (* y y))) (log (+ 1.0 y))))) t)
3.0ms
(* (- x 1.0) (log y))
4.0ms
(log (- (* 1.0 1.0) (* y y)))
2.0ms
(log (+ 1.0 y))

series549.0ms

Counts
4 → 12
Calls
4 calls:
344.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log (- (* 1.0 1.0) (* y y))) (log (+ 1.0 y))))) t)
54.0ms
(* (- x 1.0) (log y))
109.0ms
(log (- (* 1.0 1.0) (* y y)))
41.0ms
(log (+ 1.0 y))

simplify151.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0378415
11242410
24909384
35001384

prune164.0ms

Filtered
45 candidates to 31 candidates (68.9%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New43245
Fresh134
Picked101
Done011
Total45651

Merged error: 0.1b

Counts
51 → 6

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- x 1.0) (log y))
1.7b
(log (+ (pow 1.0 3) (pow y 3)))
2.3b
(log (- (* 1.0 1.0) (* y y)))
4.2b
(log (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×log-div
5×log-prod *-commutative
4×difference-of-squares
2×flip3-- flip3-+ associate-*l/ flip-- flip-+
1×sum-cubes
Counts
4 → 14
Calls
4 calls:
3.0ms
(* (- x 1.0) (log y))
4.0ms
(log (+ (pow 1.0 3) (pow y 3)))
4.0ms
(log (- (* 1.0 1.0) (* y y)))
6.0ms
(log (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))

series475.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (- x 1.0) (log y))
243.0ms
(log (+ (pow 1.0 3) (pow y 3)))
107.0ms
(log (- (* 1.0 1.0) (* y y)))
69.0ms
(log (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))

simplify39.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0367257
11256255
25001241

prune145.0ms

Filtered
26 candidates to 21 candidates (80.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh044
Picked101
Done011
Total26632

Merged error: 0.1b

Counts
32 → 6

regimes259.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02815
12815

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.2s23996×body80nan
326.0ms5894×body80valid
244.0ms770×body640valid
154.0ms251×body1280valid
130.0ms693×body320valid
51.0ms424×body160valid