Details

Time bar (total: 54.7s)

sample201.0ms

Algorithm
intervals
Results
86.0ms1533×body80nan
35.0ms518×body80valid

simplify51.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
03210
16510
21818
35228
422038
550028

prune10.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
90×add-sqr-sqrt
84×times-frac associate-*r*
80×exp-sum
74×add-cube-cbrt
72×log-prod
70×associate--l+
36×distribute-rgt-in distribute-lft-in
30×associate-+l+ associate-+r+
28×associate-/l*
27×associate-*l*
15×add-exp-log
13×add-cbrt-cube
11×exp-prod
10×pow1 distribute-lft-out-- add-log-exp
6×*-commutative distribute-lft-out unswap-sqr
5×+-commutative sub-neg
4×prod-exp
3×div-exp associate-/r* cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log pow-prod-down associate-*l/ log-pow difference-of-squares
1×flip3-- frac-2neg associate-*r/ clear-num sum-log flip-- div-inv associate-/l/
Counts
4 → 223
Calls
4 calls:
7.0ms
(* (- t 1.0) (log a))
4.0ms
(* y (log z))
25.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
39.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series370.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (- t 1.0) (log a))
36.0ms
(* y (log z))
114.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
163.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify98.0ms

Algorithm
egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
010382693
139502303
250012275

prune742.0ms

Filtered
235 candidates to 155 candidates (66.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2314235
Fresh011
Picked101
Done000
Total2325237

Merged error: 0b

Counts
237 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y)
0.3b
(* y (log (/ 1 z)))
0.3b
(* (log (/ 1 a)) t)
1.9b
(* (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) x)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
12787×times-frac
5391×add-sqr-sqrt
5365×*-un-lft-identity
5362×add-cube-cbrt
4140×exp-sum
3614×log-prod
3588×associate-+l+
3461×unpow-prod-down
1807×distribute-rgt-in distribute-lft-in
1708×associate-*l*
1166×associate-/l*
624×associate-*l/
554×div-inv
276×+-commutative associate-+r+
267×sqr-pow
106×associate-/l/
87×add-exp-log
72×associate-/r*
58×div-exp
22×add-cbrt-cube
16×pow-exp prod-exp
14×pow1
12×associate-*r*
9×unswap-sqr
6×cbrt-undiv log-rec clear-num log-pow
5×cbrt-unprod
4×pow-to-exp rec-exp frac-2neg 1-exp add-log-exp
3×distribute-lft-neg-out pow-prod-down *-commutative distribute-rgt-neg-out
2×pow-flip inv-pow
Counts
4 → 4774
Calls
4 calls:
155.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y)
7.0ms
(* y (log (/ 1 z)))
6.0ms
(* (log (/ 1 a)) t)
385.0ms
(* (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) x)

series920.0ms

Counts
4 → 12
Calls
4 calls:
306.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y)
42.0ms
(* y (log (/ 1 z)))
56.0ms
(* (log (/ 1 a)) t)
514.0ms
(* (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) x)

simplify885.0ms

Algorithm
egg-herbie
Counts
4786 → 4786
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0619593032

prune29.4s

Filtered
4786 candidates to 3983 candidates (83.2%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New478424786
Fresh224
Picked101
Done000
Total478744791

Merged error: 0b

Counts
4791 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))
0.3b
(* (log (/ 1 z)) y)
0.3b
(* (log (/ 1 a)) t)
1.0b
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
148×add-exp-log
146×add-sqr-sqrt
105×times-frac
91×*-un-lft-identity
83×associate-*l*
74×prod-exp
70×associate-*r*
61×unpow-prod-down
60×div-exp
53×add-cube-cbrt
52×pow-exp
42×unswap-sqr
22×associate-*r/
21×pow1 distribute-lft-out
17×add-cbrt-cube
16×pow-to-exp exp-sum associate-/r*
13×log-pow sqr-pow
12×rec-exp 1-exp
10×+-commutative associate-+r+
9×add-log-exp
7×*-commutative
6×distribute-lft-neg-out log-rec cbrt-unprod associate-/l*
4×clear-num
3×pow-prod-down sum-log
2×cbrt-undiv pow-flip un-div-inv div-inv inv-pow
1×frac-2neg flip3-+ flip-+
Counts
4 → 266
Calls
4 calls:
21.0ms
(+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))
6.0ms
(* (log (/ 1 z)) y)
6.0ms
(* (log (/ 1 a)) t)
73.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))

series618.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))
58.0ms
(* (log (/ 1 z)) y)
64.0ms
(* (log (/ 1 a)) t)
399.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))

simplify70.0ms

Algorithm
egg-herbie
Counts
278 → 278
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
012314056
150013792

prune1.1s

Filtered
278 candidates to 182 candidates (65.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2771278
Fresh123
Picked011
Done000
Total2784282

Merged error: 0b

Counts
282 → 4

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (/ 1 z)) y)
0.3b
(* (log (/ 1 a)) t)
0.3b
(* (log (/ 1 a)) t)
1.0b
(/ (* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))))) (* (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))) y))

rewrite405.0ms

Algorithm
rewrite-expression-head
Rules
3727×times-frac
2992×add-sqr-sqrt
1587×associate-*l*
1405×sqrt-prod
1283×*-un-lft-identity
1281×unpow-prod-down
1090×add-cube-cbrt
1011×associate-*r*
762×unswap-sqr
640×exp-sum
320×+-commutative associate-+r+
273×sqr-pow
203×add-exp-log
120×*-commutative
102×associate-/l*
98×div-exp
76×prod-exp
52×pow-exp
43×div-inv
31×add-cbrt-cube
30×associate-/r*
18×associate-/l/
16×pow1 pow-to-exp associate-*r/
12×rec-exp 1-exp
10×cbrt-unprod
9×distribute-lft-neg-out log-rec log-pow
8×cbrt-undiv
6×clear-num
4×add-log-exp
3×pow-flip pow-prod-down inv-pow
2×frac-2neg un-div-inv
Counts
4 → 2171
Calls
4 calls:
6.0ms
(* (log (/ 1 z)) y)
6.0ms
(* (log (/ 1 a)) t)
6.0ms
(* (log (/ 1 a)) t)
145.0ms
(/ (* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))))) (* (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))) y))

series589.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (log (/ 1 z)) y)
64.0ms
(* (log (/ 1 a)) t)
65.0ms
(* (log (/ 1 a)) t)
401.0ms
(/ (* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))))) (* (sqrt (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b)))) y))

simplify760.0ms

Algorithm
egg-herbie
Counts
2183 → 2183
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
0500195871

prune11.0s

Filtered
2183 candidates to 1365 candidates (62.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New218212183
Fresh112
Picked011
Done011
Total218342187

Merged error: 0b

Counts
2187 → 4

regimes203.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03327
13327

end0.0ms

sample5.7s

Algorithm
intervals
Results
2.5s45873×body80nan
1.0s15254×body80valid