Details

Time bar (total: 1.9m)

sample53.0ms

Algorithm
intervals
Results
35.0ms256×body80valid

simplify213.0ms

Calls
1 calls:
Slowest
213.0ms
(+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite974.0ms

Algorithm
rewrite-expression-head
Rules
239×*-un-lft-identity
126×times-frac
103×add-sqr-sqrt
75×add-cube-cbrt
59×distribute-lft-out
58×exp-prod
50×distribute-lft-out--
49×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
14×difference-of-squares
8×add-cbrt-cube add-exp-log
7×neg-mul-1 add-log-exp
6×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l/
3×fma-def div-sub div-inv
2×neg-sub0 cbrt-undiv clear-num frac-2neg flip3-+ div-exp distribute-frac-neg flip-+ distribute-neg-frac
1×exp-neg +-commutative associate-+r- sum-log flip3-- exp-diff flip-- rem-exp-log
Calls
4 calls:
Slowest
321.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
275.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
235.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
135.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series398.0ms

Calls
4 calls:
Slowest
128.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
106.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
99.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
65.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify40.1s

Calls
249 calls:
Slowest
673.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
568.0ms
(exp (/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT))))
465.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))
452.0ms
(exp (/ (- (* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor))))) 1))
444.0ms
(exp (/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT)))

prune4.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
0.0b
(/ (- Ev (- (- mu Vef) EAccept)) KbT)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
239×*-un-lft-identity
129×times-frac
115×add-sqr-sqrt
77×add-cube-cbrt
66×distribute-lft-out--
58×exp-prod
49×distribute-lft-neg-in distribute-rgt-neg-in
42×distribute-lft-out
25×associate-/l*
18×difference-of-squares
10×add-cbrt-cube
9×add-exp-log
7×neg-mul-1
6×pow1 associate-/r*
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l/
3×div-sub associate-*r* associate-*l* div-inv
2×neg-sub0 cbrt-undiv clear-num frac-2neg flip3-- div-exp prod-exp distribute-frac-neg flip-- distribute-neg-frac
1×exp-neg e-exp-1 exp-diff pow-prod-down *-commutative cbrt-unprod unswap-sqr rem-exp-log
Calls
4 calls:
Slowest
607.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
305.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
254.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
147.0ms
(/ (- Ev (- (- mu Vef) EAccept)) KbT)

series358.0ms

Calls
4 calls:
Slowest
145.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
73.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
70.0ms
(/ (- Ev (- (- mu Vef) EAccept)) KbT)
70.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))

simplify30.8s

Calls
263 calls:
Slowest
466.0ms
(- (+ (pow E 2) (+ (/ (* (pow E 2) Vef) KbT) (+ (/ (* (pow E 2) EAccept) KbT) (/ (* (pow E 2) Ev) KbT)))) (/ (* (pow E 2) mu) KbT))
448.0ms
(/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
382.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
348.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
347.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune3.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.3b
(expm1 (log1p (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))))
0.2b
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))

rewrite809.0ms

Algorithm
rewrite-expression-head
Rules
191×*-un-lft-identity
108×times-frac
95×add-sqr-sqrt
65×add-cube-cbrt
58×exp-prod
49×distribute-lft-neg-in distribute-rgt-neg-in
42×distribute-lft-out distribute-lft-out--
18×associate-/l*
14×difference-of-squares
8×add-cbrt-cube
7×neg-mul-1 add-exp-log
6×pow1
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* associate-*r* associate-*l*
2×neg-sub0 div-sub prod-exp distribute-frac-neg div-inv distribute-neg-frac associate-/l/
1×exp-neg cbrt-undiv e-exp-1 expm1-log1p clear-num frac-2neg flip3-- exp-diff div-exp pow-prod-down *-commutative cbrt-unprod flip-- expm1-udef unswap-sqr rem-exp-log
Calls
4 calls:
Slowest
391.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
222.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
192.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0ms
(expm1 (log1p (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))))

series504.0ms

Calls
4 calls:
Slowest
262.0ms
(expm1 (log1p (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))))
123.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
59.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
59.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify22.4s

Calls
211 calls:
Slowest
457.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
269.0ms
(exp (/ (- (* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor))))) 1))
268.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
266.0ms
(exp (/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT)))
263.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune3.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes501.0ms

Accuracy

0% (0.1b remaining)

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

bsearch7.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.6s8000×body80valid