Details

sample95.0ms

Algorithm

intervals

Results

67.0ms

256×

body

valid

simplify264.0ms

Calls

1 calls:

Slowest

264.0ms

(+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
0.0b	(/ NaChar (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
0.0b	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)
0.0b	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-/l/`
12×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
9×	`associate-/l*`
8×	`add-cube-cbrt`
7×	`flip-+`
7×	`flip3-+`
6×	`associate-/r*`
5×	`flip--`
5×	`flip3--`
4×	`add-log-exp`
4×	`div-inv`
4×	`frac-sub`
4×	`associate-/r/`
4×	`add-exp-log`
4×	`frac-add`
4×	`add-cbrt-cube`
4×	`frac-2neg`
4×	`clear-num`
4×	`pow1`
2×	`div-sub`
1×	`difference-of-squares`
1×	`distribute-lft-out--`
1×	`distribute-lft-out`
1×	`associate-+l-`

Calls

4 calls:

Slowest

19.0ms	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)
14.0ms	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
8.0ms	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
5.0ms	(/ NaChar (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))

series351.0ms

Calls

4 calls:

Slowest

140.0ms	(/ NaChar (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
134.0ms	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
40.0ms	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
37.0ms	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)

simplify5.3s

Calls

41 calls:

Slowest

592.0ms	(- (+ (* 1/4 (/ (* NdChar Ec) KbT)) (* 1/2 NdChar)) (+ (* 1/4 (/ (* NdChar mu) KbT)) (+ (* 1/4 (/ (* NdChar Vef) KbT)) (* 1/4 (/ (* NdChar EDonor) KbT)))))
309.0ms	(+ (* (- (* mu mu) (* Ec Ec)) (- Vef EDonor)) (* (+ mu Ec) (- (* Vef Vef) (* EDonor EDonor))))
266.0ms	(- (+ (* 1/4 (/ (* mu NaChar) KbT)) (* 1/2 NaChar)) (+ (* 1/4 (/ (* EAccept NaChar) KbT)) (+ (* 1/4 (/ (* Ev NaChar) KbT)) (* 1/4 (/ (* Vef NaChar) KbT)))))
243.0ms	(- (+ (* 1/4 (/ (* mu NaChar) KbT)) (* 1/2 NaChar)) (+ (* 1/4 (/ (* EAccept NaChar) KbT)) (+ (* 1/4 (/ (* Ev NaChar) KbT)) (* 1/4 (/ (* Vef NaChar) KbT)))))
240.0ms	(+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))))

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
0.0b	(/ 1 (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
0.0b	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)
0.0b	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-/l/`
12×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
9×	`associate-/l*`
8×	`add-cube-cbrt`
7×	`flip-+`
7×	`flip3-+`
6×	`associate-/r*`
5×	`flip--`
5×	`add-exp-log`
5×	`flip3--`
5×	`pow1`
4×	`add-log-exp`
4×	`div-inv`
4×	`frac-sub`
4×	`associate-/r/`
4×	`frac-add`
4×	`add-cbrt-cube`
4×	`frac-2neg`
4×	`clear-num`
2×	`div-sub`
1×	`difference-of-squares`
1×	`inv-pow`
1×	`distribute-lft-out--`
1×	`distribute-lft-out`
1×	`pow-flip`
1×	`associate-+l-`
1×	`rec-exp`

Calls

4 calls:

Slowest

14.0ms	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
12.0ms	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
9.0ms	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)
3.0ms	(/ 1 (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))

series425.0ms

Calls

4 calls:

Slowest

167.0ms	(/ NdChar (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
132.0ms	(/ 1 (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
69.0ms	(/ (- (+ Ev Vef) (- mu EAccept)) KbT)
56.0ms	(/ (+ (- mu Ec) (+ Vef EDonor)) KbT)

simplify4.8s

Calls

42 calls:

Slowest

368.0ms	(+ (* (- (* mu mu) (* Ec Ec)) (- Vef EDonor)) (* (+ mu Ec) (- (* Vef Vef) (* EDonor EDonor))))
302.0ms	(+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))))
258.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
216.0ms	(- 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))
210.0ms	(sqrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
0.2b	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
0.2b	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
0.1b	(/ NdChar (* (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1)) (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
9×	`flip-+`
9×	`flip3-+`
9×	`cbrt-prod`
8×	`associate-/r/`
7×	`add-cube-cbrt`
7×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
4×	`frac-times`
3×	`pow1/3`
2×	`associate-*r/`
2×	`associate-*l/`
1×	`div-inv`
1×	`frac-2neg`
1×	`associate-/r*`
1×	`clear-num`

Calls

4 calls:

Slowest

25.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
22.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
14.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
9.0ms	(/ NdChar (* (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1)) (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))))

series942.0ms

Calls

4 calls:

Slowest

266.0ms	(/ NdChar (* (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1)) (cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))))
234.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
222.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))
220.0ms	(cbrt (+ (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 1))

simplify6.0s

Calls

36 calls:

Slowest

337.0ms	(- (+ (* 1/6 (* (/ EDonor KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ mu KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ Ec KbT) (pow 2 1/3))))
336.0ms	(- (+ (* 1/6 (* (/ EDonor KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ mu KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ Ec KbT) (pow 2 1/3))))
336.0ms	(- (+ (* 1/6 (* (/ EDonor KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ mu KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ Ec KbT) (pow 2 1/3))))
308.0ms	(- (+ (* 1/6 (* (/ EDonor KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ mu KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ Ec KbT) (pow 2 1/3))))
304.0ms	(- (+ (* 1/6 (* (/ EDonor KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ mu KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ Ec KbT) (pow 2 1/3))))

prune1.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
0.2b	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
0.2b	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
0.1b	(/ NaChar (* (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))) (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
9×	`flip-+`
9×	`flip3-+`
9×	`cbrt-prod`
8×	`associate-/r/`
7×	`add-cube-cbrt`
7×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
4×	`frac-times`
3×	`pow1/3`
2×	`associate-*r/`
2×	`associate-*l/`
1×	`div-inv`
1×	`frac-2neg`
1×	`associate-/r*`
1×	`clear-num`

Calls

4 calls:

Slowest

3.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
2.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
2.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
2.0ms	(/ NaChar (* (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))) (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))))

series990.0ms

Calls

4 calls:

Slowest

302.0ms	(/ NaChar (* (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))) (cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))))
249.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
227.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))
213.0ms	(cbrt (+ 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))

simplify5.9s

Calls

36 calls:

Slowest

587.0ms	(- (+ (* 1/6 (* (/ EAccept KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Ev KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ mu KbT) (pow 2 1/3))))
286.0ms	(- (+ (* 1/6 (* (/ EAccept KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Ev KbT) (pow 2 1/3))) (+ (* 1/6 (* (/ Vef KbT) (pow 2 1/3))) (pow 2 1/3)))) (* 1/6 (* (/ mu KbT) (pow 2 1/3))))
254.0ms	(* (cbrt (+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))))) (cbrt (- 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))))
249.0ms	(cbrt (+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))))
244.0ms	(* (cbrt (- 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))) (cbrt (+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)))))))

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes725.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.7s

Algorithm

intervals

Results

2.4s	7998×	body	80	valid
2.0ms	1×	body	10240	exit
1.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid