Details

Time bar (total: 5.2s)

sample73.0ms

Algorithm
intervals
Results
21.0ms294×body80valid
19.0ms300×body80nan

simplify51.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0308
1897
22917
38987
425657
550017

prune10.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.1b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
18×add-log-exp
15×add-sqr-sqrt
13×add-cube-cbrt
12×log-prod
10×distribute-lft-out
7×pow1
6×add-exp-log distribute-rgt-in distribute-lft-in sum-log add-cbrt-cube associate--r+
5×fma-neg prod-diff
4×expm1-log1p-u fma-def associate-*r* log1p-expm1-u
3×diff-log associate-*l*
1×+-commutative sub-neg associate-+l+ flip3-- flip3-+ pow-prod-down prod-exp associate--l+ log-pow *-commutative flip-- cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
4 → 91
Calls
4 calls:
6.0ms
(+ (+ x y) z)
1.0ms
(fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
9.0ms
(- (+ (+ x y) z) (* z (log t)))
4.0ms
(* z (log t))

series192.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(+ (+ x y) z)
106.0ms
(fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
37.0ms
(- (+ (+ x y) z) (* z (log t)))
35.0ms
(* z (log t))

simplify50.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0363571
11634504
25001486

prune283.0ms

Filtered
103 candidates to 74 candidates (71.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New985103
Fresh000
Picked011
Done000
Total986104

Merged error: 0.0b

Counts
104 → 6

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma b (- a 0.5) (fma z (- 1 (log t)) (+ x y)))
0.1b
(fma z (- 1 (log t)) (+ x y))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
2×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
2 → 20
Calls
2 calls:
1.0ms
(fma b (- a 0.5) (fma z (- 1 (log t)) (+ x y)))
1.0ms
(fma z (- 1 (log t)) (+ x y))

series180.0ms

Counts
2 → 6
Calls
2 calls:
127.0ms
(fma b (- a 0.5) (fma z (- 1 (log t)) (+ x y)))
53.0ms
(fma z (- 1 (log t)) (+ x y))

simplify37.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (33.0ms)

IterNodesCost
0117177
1320152
21600152
35001151

prune92.0ms

Filtered
26 candidates to 23 candidates (88.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New25126
Fresh134
Picked011
Done011
Total26632

Merged error: 0.0b

Counts
32 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(* z (log (cbrt t)))
0.3b
(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
48×log-prod
36×distribute-rgt-in distribute-lft-in
30×cbrt-prod
26×add-sqr-sqrt
24×add-cube-cbrt associate-+l+ *-un-lft-identity
12×associate-+r+
7×pow1
6×add-exp-log add-cbrt-cube add-log-exp
5×associate-*r*
4×expm1-log1p-u log1p-expm1-u
3×pow1/3 associate-*l*
2×log-pow
1×+-commutative fma-def flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 111
Calls
4 calls:
5.0ms
(* z (log (cbrt t)))
10.0ms
(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series691.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* z (log (cbrt t)))
93.0ms
(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
164.0ms
(cbrt t)
348.0ms
(cbrt t)

simplify54.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0385753
11637640
25002570

prune435.0ms

Filtered
123 candidates to 102 candidates (82.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1212123
Fresh123
Picked101
Done022
Total1236129

Merged error: 0.0b

Counts
129 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* z (* 2 (log (cbrt t)))) (* (* z 1/3) (log t)))
0.3b
(* (* z 1/3) (log t))
0.3b
(* z 1/3)
0.6b
(cbrt t)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
36×log-prod
30×distribute-rgt-in distribute-lft-in
24×associate-+l+
22×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
15×cbrt-prod
12×pow1
11×add-exp-log add-cbrt-cube
7×associate-*r*
6×associate-+r+ add-log-exp
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×*-commutative
1×+-commutative fma-def flip3-+ pow1/3 sum-log log-pow flip-+ unswap-sqr
Counts
4 → 104
Calls
4 calls:
12.0ms
(+ (* z (* 2 (log (cbrt t)))) (* (* z 1/3) (log t)))
5.0ms
(* (* z 1/3) (log t))
4.0ms
(* z 1/3)
1.0ms
(cbrt t)

series369.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(+ (* z (* 2 (log (cbrt t)))) (* (* z 1/3) (log t)))
43.0ms
(* (* z 1/3) (log t))
12.0ms
(* z 1/3)
167.0ms
(cbrt t)

simplify80.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
0456677
12167585
25001525

prune408.0ms

Filtered
116 candidates to 92 candidates (79.3%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1160116
Fresh033
Picked011
Done022
Total1166122

Merged error: 0.0b

Counts
122 → 6

regimes349.0ms

Accuracy

0% (0.0b 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
0176
1176

end0.0ms

sample1.7s

Algorithm
intervals
Results
552.0ms9191×body80valid
453.0ms9275×body80nan
0.0ms1×body2560valid
0.0ms1×body640valid
0.0ms1×body320valid