Details

Time bar (total: 37.3s)

sample54.0ms

Algorithm
intervals
Results
15.0ms313×body80nan
13.0ms294×body80valid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0308
1858
22738
38008
421238
550018

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

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- a 0.5) b)
0.0b
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.1b
(- (+ (+ x y) z) (* z (log t)))
0.3b
(* z (log t))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-+l+
8×associate--l+
6×flip3-- associate-*l/ flip--
5×+-commutative
4×frac-add
2×sub-neg *-commutative
1×associate-+l- flip3-+ flip-+
Counts
4 → 26
Calls
4 calls:
3.0ms
(* (- a 0.5) b)
8.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
5.0ms
(- (+ (+ x y) z) (* z (log t)))
2.0ms
(* z (log t))

series235.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (- a 0.5) b)
126.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
39.0ms
(- (+ (+ x y) z) (* z (log t)))
37.0ms
(* z (log t))

simplify55.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0352401
11699394
25001391

prune123.0ms

Filtered
38 candidates to 29 candidates (76.3%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New37138
Fresh000
Picked101
Done000
Total38139

Merged error: 0.1b

Counts
39 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- (+ y z) (* z (log t))))
0.0b
(+ (+ x (- (+ y z) (* z (log t)))) (* (- a 0.5) b))
0.1b
(- (+ y z) (* z (log t)))
0.3b
(* z (log t))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-+r+
6×+-commutative associate-+l+ associate--l+
4×flip3-+ associate-*l/ frac-add flip-+
3×sub-neg flip3-- flip--
2×associate-+r-
1×associate-+l- *-commutative
Counts
4 → 29
Calls
4 calls:
4.0ms
(+ x (- (+ y z) (* z (log t))))
8.0ms
(+ (+ x (- (+ y z) (* z (log t)))) (* (- a 0.5) b))
4.0ms
(- (+ y z) (* z (log t)))
2.0ms
(* z (log t))

series253.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ x (- (+ y z) (* z (log t))))
131.0ms
(+ (+ x (- (+ y z) (* z (log t)))) (* (- a 0.5) b))
47.0ms
(- (+ y z) (* z (log t)))
42.0ms
(* z (log t))

simplify53.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0396420
11766416
25001413

prune133.0ms

Filtered
41 candidates to 33 candidates (80.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New40141
Fresh000
Picked011
Done000
Total40242

Merged error: 0.1b

Counts
42 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (- (* a a) (* 0.5 0.5)) b)
5.3b
(- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t)))))
11.5b
(+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
43.0b
(/ (+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b))) (* (- x (- (+ y z) (* z (log t)))) (+ a 0.5)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
164×associate-*l/
149×flip3-- flip--
132×frac-times
128×frac-add
66×associate-*r/ associate-/l/
53×flip3-+ flip-+
10×*-commutative
8×associate-/r/ associate--r+ difference-of-squares
6×distribute-rgt-in distribute-lft-in
5×+-commutative
4×associate-+l+ associate-*l* associate--l+
3×sub-neg
2×associate-/r*
1×frac-2neg clear-num div-inv
Counts
4 → 173
Calls
4 calls:
6.0ms
(* (- (* a a) (* 0.5 0.5)) b)
8.0ms
(- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t)))))
25.0ms
(+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
30.0ms
(/ (+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b))) (* (- x (- (+ y z) (* z (log t)))) (+ a 0.5)))

series31.0s

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (- (* a a) (* 0.5 0.5)) b)
183.0ms
(- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t)))))
937.0ms
(+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
29.9s
(/ (+ (* (- (* x x) (* (- (+ y z) (* z (log t))) (- (+ y z) (* z (log t))))) (+ a 0.5)) (* (- x (- (+ y z) (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b))) (* (- x (- (+ y z) (* z (log t)))) (+ a 0.5)))

simplify138.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 1 (57.0ms)

IterNodesCost
024229948
150029947

prune1.7s

Filtered
185 candidates to 174 candidates (94.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1841185
Fresh000
Picked011
Done011
Total1843187

Merged error: 0.0b

Counts
187 → 3

localize65.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (pow (log t) 2) y) (pow (- (log t) 1) 2))
0.8b
(/ (* (log t) y) (- (* 0.5 (log t)) 0.5))
0.8b
(/ (* (log t) y) (pow (- (log t) 1) 2))
1.0b
(/ (* (pow (log t) 2) x) (pow (- (log t) 1) 2))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
20×times-frac
19×unpow2 sqr-pow
12×associate-*l* associate-/l*
10×*-commutative
6×associate-/r*
4×frac-2neg clear-num div-inv
2×associate-/r/
1×flip3-- flip--
Counts
4 → 52
Calls
4 calls:
7.0ms
(/ (* (pow (log t) 2) y) (pow (- (log t) 1) 2))
6.0ms
(/ (* (log t) y) (- (* 0.5 (log t)) 0.5))
4.0ms
(/ (* (log t) y) (pow (- (log t) 1) 2))
7.0ms
(/ (* (pow (log t) 2) x) (pow (- (log t) 1) 2))

series837.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(/ (* (pow (log t) 2) y) (pow (- (log t) 1) 2))
187.0ms
(/ (* (log t) y) (- (* 0.5 (log t)) 0.5))
200.0ms
(/ (* (log t) y) (pow (- (log t) 1) 2))
224.0ms
(/ (* (pow (log t) 2) x) (pow (- (log t) 1) 2))

simplify155.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0288513
1892507
24583489
35002489

prune516.0ms

Filtered
64 candidates to 47 candidates (73.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done022
Total64367

Merged error: 0.0b

Counts
67 → 3

regimes291.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0208
1208

end0.0ms

sample1.4s

Algorithm
intervals
Results
431.0ms9097×body80valid
366.0ms9148×body80nan
0.0ms2×body160valid