Details

Time bar (total: 3.1m)

sample119.0ms

Algorithm
intervals
Results
85.0ms256×body80valid

simplify209.0ms

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

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite857.0ms

Algorithm
rewrite-expression-head
Rules
173×*-un-lft-identity
84×times-frac
71×add-sqr-sqrt
55×add-cube-cbrt
45×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
27×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×difference-of-squares
6×add-log-exp
4×pow1 neg-mul-1 insert-posit16 associate-/l/
3×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ div-inv
2×div-sub associate-/r/ distribute-neg-frac
1×neg-sub0 +-commutative associate-+r- sum-log flip3-- distribute-frac-neg flip--
Counts
4 → 182
Calls
4 calls:
Slowest
245.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
239.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
219.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
147.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series403.0ms

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

simplify36.1s

Counts
221 → 194
Calls
221 calls:
Slowest
661.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
614.0ms
(cbrt (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
593.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) (cbrt KbT))
439.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
432.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt KbT))

prune4.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize92.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
172×*-un-lft-identity
86×times-frac
78×add-sqr-sqrt
55×add-cube-cbrt
44×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
18×associate-*r*
17×add-exp-log
13×add-cbrt-cube
8×difference-of-squares
6×pow1 associate-/r* add-log-exp
4×neg-mul-1 div-exp prod-exp insert-posit16 associate-/l/
3×cbrt-undiv flip3-+ associate-*l* flip-+ div-inv unswap-sqr
2×clear-num frac-2neg div-sub associate-/r/ cbrt-unprod distribute-neg-frac
1×neg-sub0 +-commutative rec-exp associate-+r- sum-log flip3-- 1-exp pow-prod-down associate-*r/ distribute-frac-neg un-div-inv *-commutative flip--
Counts
4 → 190
Calls
4 calls:
Slowest
561.0ms
(* NaChar (/ 1 (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
276.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
198.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
133.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series481.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
200.0ms
(* NaChar (/ 1 (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
103.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
95.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
82.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify37.4s

Counts
222 → 202
Calls
222 calls:
Slowest
709.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (sqrt KbT))
685.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
428.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
419.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) 1)
416.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune4.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.9s

Algorithm
rewrite-expression-head
Rules
167×*-un-lft-identity
89×times-frac
83×add-sqr-sqrt
58×add-cube-cbrt
40×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
22×associate-*r*
18×add-exp-log
17×pow1
15×add-cbrt-cube
8×difference-of-squares
6×associate-/r* associate-*l* prod-exp log-pow
5×pow-prod-down
4×neg-mul-1 div-exp insert-posit16 add-log-exp unswap-sqr associate-/l/
3×cbrt-undiv cbrt-unprod div-inv
2×clear-num frac-2neg div-sub *-commutative distribute-neg-frac
1×neg-sub0 e-exp-1 rec-exp flip3-+ flip3-- 1-exp associate-*r/ distribute-frac-neg un-div-inv associate-+l- flip-+ flip--
Counts
4 → 198
Calls
4 calls:
Slowest
2.5s
(* NaChar (/ 1 (log (* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT)))))))
935.0ms
(* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT))))
227.0ms
(/ (+ (- (+ Ev Vef) mu) EAccept) KbT)
220.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series802.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
454.0ms
(* NaChar (/ 1 (log (* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT)))))))
188.0ms
(* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT))))
83.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
77.0ms
(/ (+ (- (+ Ev Vef) mu) EAccept) KbT)

simplify43.6s

Counts
232 → 210
Calls
232 calls:
Slowest
788.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
732.0ms
(+ (pow (- (+ Ev Vef) mu) 3) (pow EAccept 3))
622.0ms
(- (+ (pow E 2) (+ (/ (* (pow E 2) Vef) KbT) (+ (/ (* (pow E 2) EAccept) KbT) (/ (* (pow E 2) Ev) KbT)))) (/ (* (pow E 2) mu) KbT))
494.0ms
(* (* (* NaChar NaChar) NaChar) (/ (* (* 1 1) 1) (* (* (log (* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT))))) (log (* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT)))))) (log (* E (exp (exp (/ (+ (- (+ Ev Vef) mu) EAccept) KbT))))))))
453.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune5.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize81.0ms

Local error

Found 4 expressions with local error:

6.9b
(* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT)))
4.7b
(* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))
4.0b
(- (+ (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)) (* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT))))
1.1b
(- (/ mu KbT) (/ Ev KbT))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
94×frac-sub
87×frac-add
68×frac-times associate-*r/
60×add-sqr-sqrt
50×*-un-lft-identity
46×times-frac
31×flip3-+ flip-+
26×associate-*l* add-cube-cbrt
20×associate-*r* associate-*l/
18×flip3-- flip--
17×sub-div
14×add-cbrt-cube add-exp-log
11×add-log-exp
8×pow1 div-inv distribute-lft-out-- difference-of-squares
4×distribute-rgt-in sub-neg distribute-lft-in prod-exp cbrt-unprod insert-posit16 distribute-lft-out unswap-sqr
3×diff-log
2×cbrt-undiv distribute-rgt-out-- div-exp pow-prod-down *-commutative associate--r+
1×sum-log distribute-rgt-out associate--l+
Counts
4 → 218
Calls
4 calls:
Slowest
158.0ms
(- (+ (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)) (* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT))))
56.0ms
(* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT)))
43.0ms
(* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))
16.0ms
(- (/ mu KbT) (/ Ev KbT))

series488.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
279.0ms
(- (+ (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)) (* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT))))
91.0ms
(* (/ NaChar 4) (+ (/ EAccept KbT) (/ Vef KbT)))
78.0ms
(* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))
39.0ms
(- (/ mu KbT) (/ Ev KbT))

simplify39.3s

Counts
280 → 230
Calls
280 calls:
Slowest
700.0ms
(- (* (+ (* (* NaChar (- (* (/ mu KbT) (/ mu KbT)) (* (/ Ev KbT) (/ Ev KbT)))) 2) (* (* 4 (+ (/ mu KbT) (/ Ev KbT))) NaChar)) (* KbT KbT)) (* (* (* 4 (+ (/ mu KbT) (/ Ev KbT))) 2) (* (/ NaChar 4) (+ (* EAccept KbT) (* KbT Vef)))))
601.0ms
(- (* (+ (pow (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) 3) (pow (/ NaChar 2) 3)) (- (/ EAccept KbT) (/ Vef KbT))) (* (+ (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))) (- (* (/ NaChar 2) (/ NaChar 2)) (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)))) (* (/ NaChar 4) (- (* (/ EAccept KbT) (/ EAccept KbT)) (* (/ Vef KbT) (/ Vef KbT))))))
562.0ms
(* (+ (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))) (- (* (/ NaChar 2) (/ NaChar 2)) (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)))) (+ (* (/ EAccept KbT) (/ EAccept KbT)) (- (* (/ Vef KbT) (/ Vef KbT)) (* (/ EAccept KbT) (/ Vef KbT)))))
523.0ms
(- (* (+ (pow (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) 3) (pow (/ NaChar 2) 3)) (* 4 (- (/ EAccept KbT) (/ Vef KbT)))) (* (+ (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))) (- (* (/ NaChar 2) (/ NaChar 2)) (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)))) (* NaChar (- (* (/ EAccept KbT) (/ EAccept KbT)) (* (/ Vef KbT) (/ Vef KbT))))))
509.0ms
(- (* (+ (pow (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) 3) (pow (/ NaChar 2) 3)) (* KbT KbT)) (* (+ (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT)))) (- (* (/ NaChar 2) (/ NaChar 2)) (* (* (/ NaChar 4) (- (/ mu KbT) (/ Ev KbT))) (/ NaChar 2)))) (* (/ NaChar 4) (+ (* EAccept KbT) (* KbT Vef)))))

prune4.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes471.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.0s

Algorithm
intervals
Results
1.7s8000×body80valid
1.0ms1×body10240exit