Details

Time bar (total: 34.1s)

sample111.0ms

Algorithm
intervals
Results
71.0ms256×body80valid

simplify896.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
52000
4799
3286
2115
151
027

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite756.0ms

Algorithm
rewrite-expression-head
Rules
138×*-un-lft-identity
57×times-frac
45×add-sqr-sqrt
37×add-cube-cbrt
36×distribute-lft-out
31×distribute-lft-out--
22×exp-prod
13×associate-/l*
8×add-cbrt-cube add-exp-log
7×add-log-exp
6×associate-/r*
4×pow1 insert-posit16 difference-of-squares associate-/l/
3×div-sub div-inv
2×cbrt-undiv clear-num associate-+r- frac-2neg flip3-+ div-exp associate-+l- flip-+
1×+-commutative sum-log flip3-- exp-diff flip-- rem-exp-log
Counts
4 → 135
Calls
4 calls:
179.0ms
(+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
186.0ms
(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
161.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
225.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

series325.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
66.0ms
(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
76.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
84.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

simplify1.2s

Counts
147 → 147
Iterations
IterNodes
done2000
32000
21465
1474
0199

prune3.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
(* (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))) (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
0.0b
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
0.0b
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))
0.0b
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
1004×*-un-lft-identity
408×exp-prod
400×distribute-lft-out
389×times-frac
372×sqrt-pow1
196×add-sqr-sqrt
176×add-cube-cbrt
104×distribute-lft-out--
69×pow-prod-down
63×pow-prod-up
61×pow-sqr
19×pow1
18×sqrt-prod
9×div-inv
8×add-cbrt-cube pow1/2 swap-sqr add-exp-log
7×div-sub associate-/l*
6×associate-+r- exp-diff associate-*r* associate-*l* associate-+l- add-log-exp
4×sqrt-div insert-posit16 difference-of-squares unswap-sqr
3×associate-/r*
2×rem-exp-log associate-/l/
1×pow2 frac-times cbrt-undiv clear-num rem-square-sqrt frac-2neg pow-plus flip3-- sqrt-unprod div-exp associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip--
Counts
4 → 346
Calls
4 calls:
1.6s
(* (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))) (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
136.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
207.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))
210.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

series338.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))) (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
62.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
71.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))
107.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

simplify1.4s

Counts
358 → 358
Iterations
IterNodes
done2008
32008
21242
1523
0246

prune9.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize111.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
0.2b
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
0.2b
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
0.2b
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))

rewrite817.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div associate-+r- add-cbrt-cube exp-diff pow1/3 div-sub add-exp-log associate-+l- insert-posit16 add-log-exp
Counts
4 → 52
Calls
4 calls:
216.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
248.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
182.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
169.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))

series638.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
147.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
166.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
159.0ms
(cbrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))

simplify1.5s

Counts
64 → 64
Iterations
IterNodes
done2004
62004
51325
4765
3442
2208
194
049

prune2.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize116.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
0.3b
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
0.3b
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
0.3b
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))

rewrite837.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt sqrt-prod
4×pow1 cbrt-div associate-+r- add-cbrt-cube exp-diff pow1/3 sqrt-div div-sub add-exp-log associate-+l- insert-posit16 add-log-exp
Counts
4 → 64
Calls
4 calls:
181.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
193.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
244.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
218.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
124.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
111.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
171.0ms
(cbrt (sqrt (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))

simplify1.6s

Counts
76 → 76
Iterations
IterNodes
done2001
52001
41082
3539
2231
1106
060

prune1.9s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes914.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done34
134
027

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.4s7998×body80valid
1.0ms1×body640valid
0.0ms1×body320valid