Details

sample43.0ms

Algorithm

intervals

Results

16.0ms

256×

body

valid

simplify7.6s

Counts

1 → 1

Iterations

Useful iterations: 4 (114.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	120	30
3	279	30
4	509	29
5	883	29
6	1498	29
7	2272	29
8	3126	29
9	3718	29
10	3966	29
11	3974	29
done	3974	29

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.3s

Algorithm

rewrite-expression-head

Rules

292×	`*-un-lft-identity`
147×	`times-frac`
114×	`add-sqr-sqrt`
86×	`add-cube-cbrt`
84×	`distribute-lft-out--`
61×	`distribute-rgt-neg-in`
58×	`exp-prod`
52×	`distribute-lft-out`
49×	`distribute-lft-neg-in`
30×	`associate-/l*`
14×	`difference-of-squares`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
7×	`neg-mul-1`
5×	`div-sub` `add-log-exp`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `div-inv` `associate-/l/`
3×	`cbrt-undiv` `neg-sub0` `frac-2neg` `div-exp` `clear-num`
2×	`flip3-+` `distribute-frac-neg` `associate-/r/` `flip-+` `distribute-neg-frac`
1×	`exp-neg` `associate-+r-` `flip3--` `exp-diff` `unsub-neg` `flip--` `rem-exp-log`

Counts

4 → 256

Calls

4 calls:

505.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
283.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
891.0ms	(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
611.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series330.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
60.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
143.0ms	(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
69.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify890.0ms

Counts

268 → 268

Iterations

Useful iterations: done (882.0ms)

Iter	Nodes	Cost
0	325	4249
1	679	3989
2	1914	3842
done	5000	3838

prune998.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.6s

Algorithm

rewrite-expression-head

Rules

278×	`*-un-lft-identity`
135×	`times-frac`
106×	`add-sqr-sqrt`
84×	`distribute-lft-out--`
78×	`add-cube-cbrt`
61×	`distribute-rgt-neg-in`
58×	`exp-prod`
49×	`distribute-lft-neg-in` `distribute-lft-out`
27×	`associate-/l*`
14×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube`
7×	`neg-mul-1` `add-log-exp`
6×	`associate-/r*`
5×	`div-sub`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `associate-/l/`
3×	`neg-sub0` `fma-def` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `distribute-frac-neg` `div-exp` `clear-num` `flip-+` `distribute-neg-frac`
1×	`+-commutative` `exp-neg` `associate-+r-` `flip3--` `exp-diff` `unsub-neg` `sum-log` `flip--` `rem-exp-log`

Counts

4 → 238

Calls

4 calls:

214.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
509.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
279.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
597.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series259.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
59.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
59.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
67.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify800.0ms

Counts

250 → 250

Iterations

Useful iterations: 2 (239.0ms)

Iter	Nodes	Cost
0	278	3682
1	584	3434
2	1670	3305
done	5000	3305

prune963.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.5s

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 103

Calls

4 calls:

3.8s	(* (cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0)) (cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0)))
492.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))
493.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))
713.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))

series1.1s

Counts

4 → 12

Calls

4 calls:

343.0ms	(* (cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0)) (cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0)))
239.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))
237.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))
246.0ms	(cbrt (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1.0))

simplify1.3s

Counts

115 → 115

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	124	3493
1	291	3242
2	873	2909
3	2759	2528
done	5000	2520

prune583.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (* (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))))
0.2b	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
0.2b	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
0.2b	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))

rewrite3.1s

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
15×	`add-exp-log` `*-un-lft-identity`
12×	`pow1` `cbrt-prod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `pow-flip` `flip3-+` `pow1/3` `flip-+`
8×	`associate-/r/`
7×	`add-cbrt-cube`
4×	`expm1-log1p-u` `frac-times` `div-exp` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `prod-exp` `distribute-lft-out` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `1-exp` `associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-2neg` `pow-plus` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `inv-pow`

Counts

4 → 93

Calls

4 calls:

1.8s	(/ 1 (* (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))))
433.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
433.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
438.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))

series1.5s

Counts

4 → 12

Calls

4 calls:

777.0ms	(/ 1 (* (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))))
228.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
232.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
225.0ms	(cbrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))

simplify1.3s

Counts

105 → 105

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	150	2922
1	367	2652
2	939	2328
3	2775	2216
done	5000	2196

prune509.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes250.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	66
1	46	66
done	46	66

end0.0ms

sample987.0ms

Algorithm

intervals

Results

485.0ms

8000×

body

valid