Details

Time bar (total: 1.8m)

sample121.0ms

Algorithm
intervals
Results
86.0ms256×body80valid

simplify261.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
208×*-un-lft-identity
102×times-frac
81×add-sqr-sqrt
65×add-cube-cbrt
56×distribute-lft-out
38×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
27×associate-/l*
22×exp-prod
10×associate-/r* add-cbrt-cube add-exp-log
8×difference-of-squares
5×add-log-exp
4×pow1 neg-mul-1 insert-posit16 div-inv associate-/l/
3×cbrt-undiv clear-num frac-2neg div-sub div-exp
2×associate-+r- flip3-+ associate-/r/ flip-+ distribute-neg-frac
1×neg-sub0 flip3-- exp-diff distribute-frac-neg flip-- rem-exp-log
Counts
4 → 201
Calls
4 calls:
Slowest
1.3s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
287.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
189.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
188.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series482.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
220.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
96.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
85.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
80.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify41.6s

Counts
243 → 213
Calls
243 calls:
Slowest
783.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
671.0ms
(/ 1 (sqrt (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)))
502.0ms
(exp (/ (sqrt (+ EAccept (- (+ Ev Vef) mu))) 1))
483.0ms
(/ (* (* NdChar NdChar) NdChar) (* (* (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)))
435.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))

prune4.7s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
0.5b
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
0.5b
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
0.5b
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))

rewrite980.0ms

Algorithm
rewrite-expression-head
Rules
303×*-un-lft-identity
194×cbrt-prod
84×distribute-lft-out distribute-lft-out--
81×distribute-rgt-neg-in
73×distribute-lft-neg-in
65×add-sqr-sqrt
53×swap-sqr
29×add-cube-cbrt
21×associate-*r* associate-*l*
18×cbrt-div distribute-neg-frac
14×difference-of-squares
11×pow1
9×flip3-- pow1/3 flip--
7×neg-mul-1
6×add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 213
Calls
4 calls:
Slowest
675.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
105.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
100.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
87.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
362.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
333.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
318.0ms
(cbrt (- (- Ec (+ (+ Vef mu) EDonor))))
303.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))

simplify46.1s

Counts
252 → 225
Calls
252 calls:
Slowest
628.0ms
(* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor))))
591.0ms
(- (+ (* 2/3 (* Vef (pow (/ 1 EDonor) 1/3))) (pow EDonor 2/3)) (* 2/3 (* Ec (pow (/ 1 EDonor) 1/3))))
462.0ms
(* (cbrt (sqrt (- (- Ec (+ (+ Vef mu) EDonor))))) (cbrt (sqrt (- (- Ec (+ (+ Vef mu) EDonor))))))
460.0ms
(* (cbrt (sqrt (- (- Ec (+ (+ Vef mu) EDonor))))) (cbrt (sqrt (- (- Ec (+ (+ Vef mu) EDonor))))))
444.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))

prune5.8s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.4s7999×body80valid
2.0ms1×body10240exit
1.0ms1×body640valid