Details

sample77.0ms

Algorithm

intervals

Results

41.0ms

256×

body

valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5004
6	4853
5	2034
4	799
3	286
2	115
1	51
0	27

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

118×	`*-un-lft-identity`
51×	`times-frac`
44×	`add-sqr-sqrt`
36×	`add-cube-cbrt`
29×	`distribute-lft-out`
24×	`distribute-lft-out--`
16×	`associate-/l*`
10×	`associate-/r*` `add-cbrt-cube` `add-exp-log`
6×	`add-log-exp`
4×	`pow1` `insert-posit16` `difference-of-squares` `associate-/l/`
3×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3-+` `div-exp` `flip-+` `div-inv`
2×	`div-sub` `associate-/r/`
1×	`+-commutative` `associate-+r-` `sum-log` `flip3--` `associate-+l-` `flip--`

Counts

4 → 137

Calls

4 calls:

493.0ms	(/ NaChar (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
209.0ms	(+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
196.0ms	(/ (- EDonor (- Ec (+ Vef mu))) KbT)
265.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)

series509.0ms

Counts

4 → 12

Calls

4 calls:

191.0ms	(/ NaChar (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))
129.0ms	(+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))
108.0ms	(/ (- EDonor (- Ec (+ Vef mu))) KbT)
81.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)

simplify1.6s

Counts

149 → 149

Iterations

Iter	Nodes
done	5001
2	1707
1	558
0	234

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
0.0b	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
0.1b	(/ (/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))) (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))
0.1b	(/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))

rewrite1.9s

Algorithm

rewrite-expression-head

Rules

414×	`times-frac`
394×	`*-un-lft-identity`
224×	`sqrt-prod`
210×	`add-sqr-sqrt` `add-cube-cbrt`
96×	`distribute-lft-out`
42×	`associate-/l*`
20×	`associate-/r*` `sqrt-div` `associate-/r/`
15×	`add-cbrt-cube` `add-exp-log`
12×	`flip3-+` `flip-+` `div-inv`
8×	`distribute-lft-out--`
6×	`cbrt-undiv` `div-exp`
5×	`associate-/l/`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
2×	`associate-+r-` `div-sub` `associate-+l-`

Counts

4 → 373

Calls

4 calls:

234.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
297.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
979.0ms	(/ (/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))) (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))
333.0ms	(/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))

series615.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
80.0ms	(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
184.0ms	(/ (/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))))) (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))
292.0ms	(/ NaChar (sqrt (+ 1 (exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT)))))

simplify2.5s

Counts

385 → 385

Iterations

Iter	Nodes
done	5007
2	2385
1	954
0	399

prune3.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes801.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Iter	Nodes
done	33
1	33
0	25

end0.0ms

sample2.6s

Algorithm

intervals

Results

2.0s	7998×	body	80	valid
3.0ms	2×	body	10240	exit
1.0ms	1×	body	1280	valid
1.0ms	1×	body	320	valid