Details

sample87.0ms

Algorithm

intervals

Results

40.0ms

256×

body

valid

simplify960.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (253.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	120	30
3	366	30
4	1362	29
done	5000	29

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

138×	`*-un-lft-identity`
57×	`times-frac`
45×	`add-sqr-sqrt`
37×	`add-cube-cbrt`
34×	`distribute-lft-out`
33×	`distribute-lft-out--`
22×	`exp-prod`
13×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
6×	`associate-/r*`
4×	`pow1` `associate-/l/` `difference-of-squares`
3×	`div-sub` `div-inv`
2×	`cbrt-undiv` `associate-+r-` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+`
1×	`+-commutative` `flip3--` `exp-diff` `sum-log` `flip--` `rem-exp-log`

Counts

4 → 131

Calls

4 calls:

227.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
577.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
176.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
410.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

series278.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
84.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
59.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
63.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

simplify936.0ms

Counts

143 → 143

Iterations

Useful iterations: done (932.0ms)

Iter	Nodes	Cost
0	185	2017
1	432	1933
2	1650	1825
done	5001	1821

prune705.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
0.0b	(cbrt (pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3))
0.0b	(pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3)
0.0b	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

rewrite2.3s

Algorithm

rewrite-expression-head

Rules

113×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
39×	`times-frac`
33×	`add-cube-cbrt`
28×	`distribute-lft-out`
24×	`distribute-lft-out--`
14×	`cbrt-prod`
13×	`associate-/l*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`unpow-prod-down` `cube-prod`
6×	`associate-/r*`
5×	`pow1`
4×	`cube-div` `associate-/l/` `add-log-exp` `difference-of-squares`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`cbrt-undiv` `cube-mult` `cbrt-div` `frac-2neg` `unpow3` `div-sub` `div-exp` `clear-num` `div-inv` `sqr-pow`
1×	`pow-to-exp` `associate-+r-` `flip3--` `pow-pow` `pow1/3` `pow-exp` `flip--` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 140

Calls

4 calls:

210.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
857.0ms	(cbrt (pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3))
821.0ms	(pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3)
423.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

series488.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
88.0ms	(cbrt (pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3))
211.0ms	(pow (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0) 3)
93.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

simplify2.0s

Counts

152 → 152

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	214	2781
1	574	2565
2	2757	2303
done	5003	2299

prune897.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	32
1	34	32
done	34	32

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.9s	8000×	body	80	valid
1.0ms	1×	body	10240	exit