Details

Time bar (total: 2.2m)

sample74.0ms

Algorithm
intervals
Results
47.0ms256×body80valid

simplify214.0ms

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

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite829.0ms

Algorithm
rewrite-expression-head
Rules
194×*-un-lft-identity
90×times-frac
73×add-sqr-sqrt
57×add-cube-cbrt
53×distribute-lft-out
38×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
22×exp-prod
8×add-cbrt-cube add-exp-log difference-of-squares
7×add-log-exp
6×associate-/r*
4×expm1-log1p-u pow1 neg-mul-1 insert-posit16 log1p-expm1-u associate-/l/
3×fma-def div-sub div-inv
2×cbrt-undiv clear-num associate-+r- frac-2neg flip3-+ div-exp flip-+ distribute-neg-frac
1×neg-sub0 +-commutative sum-log flip3-- exp-diff distribute-frac-neg flip-- rem-exp-log
Counts
4 → 191
Calls
4 calls:
Slowest
315.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
192.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
173.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
142.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series374.0ms

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

simplify34.0s

Counts
213 → 203
Calls
213 calls:
Slowest
762.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
705.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
486.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
485.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
429.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) 1)

prune4.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite778.0ms

Algorithm
rewrite-expression-head
Rules
191×*-un-lft-identity
90×times-frac
72×add-sqr-sqrt
56×add-cube-cbrt
52×distribute-lft-out
38×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
22×exp-prod
8×add-cbrt-cube add-exp-log difference-of-squares
6×associate-/r*
5×add-log-exp
4×expm1-log1p-u pow1 neg-mul-1 insert-posit16 log1p-expm1-u associate-/l/
3×div-sub div-inv
2×cbrt-undiv clear-num associate-+r- frac-2neg div-exp distribute-neg-frac
1×neg-sub0 expm1-log1p flip3-+ flip3-- exp-diff distribute-frac-neg flip-+ flip-- expm1-udef rem-exp-log
Counts
4 → 185
Calls
4 calls:
Slowest
288.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
242.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
241.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
0.0ms
(expm1 (log1p (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

series351.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
127.0ms
(expm1 (log1p (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
81.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
72.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
71.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify33.7s

Counts
210 → 197
Calls
210 calls:
Slowest
866.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
804.0ms
(/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) (* (cbrt KbT) (cbrt KbT)))
450.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
446.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (* (cbrt KbT) (cbrt KbT)))
428.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))

prune4.9s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
394×*-un-lft-identity
167×times-frac
132×distribute-lft-out
94×add-sqr-sqrt
79×add-cube-cbrt
66×distribute-lft-out--
58×swap-sqr
57×add-cbrt-cube add-exp-log
44×associate-*r*
30×pow1
23×associate-*l*
22×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
11×frac-times associate-*l/
7×cbrt-div pow-plus associate-*r/ pow-prod-up
6×unswap-sqr
5×div-inv add-log-exp
4×expm1-log1p-u exp-prod pow-prod-down insert-posit16 log1p-expm1-u
3×pow2 pow-sqr
2×cbrt-prod pow3 *-commutative
1×pow1/3 rem-cbrt-cube rem-exp-log
Counts
4 → 242
Calls
4 calls:
Slowest
621.0ms
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
453.0ms
(cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
359.0ms
(* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
11.0ms
(exp (cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

series2.1s

Counts
4 → 12
Calls
4 calls:
Slowest
1.5s
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
285.0ms
(* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
171.0ms
(cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
152.0ms
(exp (cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

simplify42.3s

Counts
281 → 254
Calls
281 calls:
Slowest
856.0ms
(* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu)))
841.0ms
(* (* (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
739.0ms
(* (* (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))
707.0ms
(* (* (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))
584.0ms
(* (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))

prune4.6s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s7999×body80valid
1.0ms1×body10240exit
0.0ms1×body320valid