Details

Time bar (total: 3.4m)

sample73.0ms

Algorithm
intervals
Results
44.0ms256×body80valid

simplify282.0ms

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

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
209×*-un-lft-identity
120×times-frac
101×add-sqr-sqrt
73×add-cube-cbrt
58×exp-prod
49×distribute-lft-neg-in distribute-rgt-neg-in
47×distribute-lft-out
42×distribute-lft-out--
21×associate-/l*
14×difference-of-squares
8×add-cbrt-cube add-exp-log
7×associate-/r* neg-mul-1 add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×fma-def div-inv
2×neg-sub0 cbrt-undiv clear-num frac-2neg flip3-+ div-sub div-exp distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac associate-/l/
1×exp-neg +-commutative sum-log flip3-- exp-diff flip-- rem-exp-log
Counts
4 → 219
Calls
4 calls:
Slowest
1.2s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
383.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
374.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
144.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series472.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
202.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
98.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
89.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
82.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

simplify42.6s

Counts
238 → 231
Calls
238 calls:
Slowest
735.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
501.0ms
(exp (/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) 1))
486.0ms
(- (log (- (- Ec (+ (+ Vef mu) EDonor)))) (log KbT))
472.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
462.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt KbT))

prune5.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize112.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
321×*-un-lft-identity
171×times-frac
153×add-sqr-sqrt
105×add-cube-cbrt
84×distribute-lft-neg-in distribute-rgt-neg-in
72×distribute-lft-out distribute-lft-out--
57×associate-/l*
24×difference-of-squares
12×associate-/r* neg-mul-1 add-cbrt-cube add-exp-log
6×distribute-neg-frac associate-/l/
4×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
3×neg-sub0 flip3-- div-sub distribute-frac-neg flip--
2×associate-/r/
1×flip3-+ flip-+
Counts
4 → 314
Calls
4 calls:
Slowest
1.7s
(/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))
362.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
349.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
302.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series462.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
185.0ms
(/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))
104.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
95.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
77.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify1.2m

Counts
423 → 326
Calls
423 calls:
Slowest
728.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
709.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
514.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
509.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
502.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune6.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
131×*-un-lft-identity
59×add-sqr-sqrt
54×times-frac
41×add-cube-cbrt
32×distribute-lft-out
28×distribute-lft-neg-in distribute-rgt-neg-in
24×distribute-lft-out--
18×associate-/l*
11×pow1
8×flip3-+ add-cbrt-cube add-exp-log flip-+ add-log-exp difference-of-squares
6×fma-def swap-sqr
4×expm1-log1p-u frac-times neg-mul-1 associate-*r* associate-*l* insert-posit16 log1p-expm1-u
3×associate-/r*
2×+-commutative sum-log associate-*l/ associate-*r/ distribute-neg-frac associate-/l/
1×pow2 neg-sub0 distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in pow-plus flip3-- div-sub div-exp pow-prod-down prod-exp distribute-frac-neg pow-sqr *-commutative pow-prod-up cbrt-unprod div-inv flip-- unswap-sqr
Counts
4 → 173
Calls
4 calls:
Slowest
709.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
204.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
94.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
92.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series310.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
73.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
73.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
62.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify26.1s

Counts
190 → 185
Calls
190 calls:
Slowest
676.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)))))
558.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))))))
460.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
358.0ms
(* (- (* 1 1) (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (- (* 1 1) (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
325.0ms
(- (+ (* 4 (/ Ev KbT)) (+ (* 4 (/ EAccept KbT)) (+ 4 (* 4 (/ Vef KbT))))) (* 4 (/ mu KbT)))

prune3.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize87.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))

rewrite5.9s

Algorithm
rewrite-expression-head
Rules
117×cbrt-prod
81×add-sqr-sqrt
69×times-frac
57×*-un-lft-identity add-cube-cbrt
18×swap-sqr associate-*r* associate-*l*
14×associate-/r/
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div flip3-+ flip-+ div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 168
Calls
4 calls:
Slowest
4.3s
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
536.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
536.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
534.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
430.0ms
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
315.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
308.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
301.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))

simplify26.9s

Counts
166 → 180
Calls
166 calls:
Slowest
508.0ms
(* (cbrt (/ NdChar (+ (pow (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 3) (pow 1 3)))) (cbrt (/ NdChar (+ (pow (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 3) (pow 1 3)))))
377.0ms
(- (+ (* 1/3 (/ (* (pow (cbrt -1) 2) (* Ec (exp (* 1/3 (- (log 1/4) (* 2 (log (/ -1 NdChar)))))))) KbT)) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1/4) (* 2 (log (/ -1 NdChar)))))))) (+ (* 1/3 (/ (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1/4) (* 2 (log (/ -1 NdChar)))))) Vef)) KbT)) (+ (* 1/3 (/ (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1/4) (* 2 (log (/ -1 NdChar)))))) EDonor)) KbT)) (* 1/3 (/ (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (log 1/4) (* 2 (log (/ -1 NdChar)))))) mu)) KbT)))))
275.0ms
(- (+ (* 1/6 (/ (* (cbrt -1) (* Ec (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (* (cbrt -1) (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) (+ (* 1/6 (/ (* (cbrt -1) (* Vef (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (+ (* 1/6 (/ (* (cbrt -1) (* EDonor (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (* 1/6 (/ (* (cbrt -1) (* mu (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)))))
274.0ms
(- (+ (* 1/6 (/ (* (cbrt -1) (* Ec (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (* (cbrt -1) (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) (+ (* 1/6 (/ (* (cbrt -1) (* Vef (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (+ (* 1/6 (/ (* (cbrt -1) (* EDonor (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)) (* 1/6 (/ (* (cbrt -1) (* mu (exp (* 1/3 (- (log 1/2) (log (/ -1 NdChar))))))) KbT)))))
272.0ms
(exp (* 1/3 (+ (log 1/4) (* 2 (log NdChar)))))

prune3.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes524.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.7s7998×body80valid
1.0ms1×body10240exit
1.0ms1×body1280valid
0.0ms1×body160valid