Details

Time bar (total: 40.6s)

sample111.0ms

Algorithm
intervals
Results
78.0ms256×body80valid

simplify550.0ms

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

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize49.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)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 associate-/l/
3×distribute-lft-neg-in distribute-rgt-neg-in div-sub div-inv
2×neg-sub0 clear-num frac-2neg flip3-+ distribute-frac-neg flip-+ distribute-neg-frac
1×exp-neg +-commutative associate-+r- neg-mul-1 flip3-- exp-diff flip-- rem-exp-log
Calls
4 calls:
Slowest
21.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
8.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
7.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
3.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series342.0ms

Calls
4 calls:
Slowest
103.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
84.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
82.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
73.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify5.9s

Calls
34 calls:
Slowest
590.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
427.0ms
(exp (- (- Ec (+ (+ Vef mu) EDonor))))
367.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
358.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 1))) (/ Ec KbT))
356.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 2 (/ Vef KbT)))) (/ mu KbT))

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
33×flip3-+ flip-+
32×frac-times
26×cbrt-div
16×associate-*l/
10×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt associate-/l*
9×pow1
6×add-cbrt-cube add-exp-log
5×add-log-exp
4×exp-prod insert-posit16
3×distribute-lft-neg-in distribute-rgt-neg-in associate-*r* associate-*l*
2×neg-sub0 div-sub distribute-frac-neg div-inv distribute-neg-frac associate-/l/
1×cbrt-prod pow2 distribute-rgt-in exp-neg clear-num neg-mul-1 frac-2neg distribute-lft-in pow-plus flip3-- exp-diff pow1/3 pow3 pow-prod-down prod-exp *-commutative pow-prod-up rem-cbrt-cube cbrt-unprod flip-- rem-exp-log
Calls
4 calls:
Slowest
25.0ms
(cbrt (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
17.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
6.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series460.0ms

Calls
4 calls:
Slowest
155.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
129.0ms
(cbrt (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
91.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
85.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify24.7s

Calls
81 calls:
Slowest
743.0ms
(* (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
704.0ms
(cbrt (* (* (+ (pow 1 3) (pow (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) 3)) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ (pow 1 3) (pow (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) 3))))
681.0ms
(* (+ (* 1 1) (- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))) (+ (* 1 1) (- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))))
678.0ms
(cbrt (* (* (- (* 1 1) (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ (pow 1 3) (pow (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) 3))))
621.0ms
(cbrt (* (* (+ (pow 1 3) (pow (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) 3)) (+ (pow 1 3) (pow (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) 3))) (- (* 1 1) (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))))

prune3.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes572.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.5s8000×body80valid