Details

sample448.0ms

Algorithm

intervals

Results

250.0ms	1345×	body	80	nan
78.0ms	465×	body	80	valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5002
5	1717
4	477
3	179
2	71
1	33
0	17

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.7b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite9.5s

Algorithm

rewrite-expression-head

Rules

395×	`*-un-lft-identity`
215×	`exp-sum`
192×	`associate-r`
177×	`add-sqr-sqrt`
165×	`times-frac`
161×	`add-cube-cbrt`
135×	`prod-diff`
132×	`associate-l`
96×	`distribute-lft-out`
72×	`log-prod`
70×	`associate--l+`
55×	`associate-/l*`
40×	`distribute-lft-out--`
36×	`distribute-rgt-in` `distribute-lft-in`
30×	`associate-+l+` `associate-+r+`
15×	`add-exp-log`
13×	`add-cbrt-cube`
11×	`exp-prod`
10×	`pow1` `add-log-exp`
6×	`*-commutative` `unswap-sqr`
5×	`+-commutative` `sub-neg`
4×	`expm1-log1p-u` `prod-exp` `insert-posit16` `log1p-expm1-u`
3×	`associate-/r*` `div-exp` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `pow-prod-down` `associate-*l/` `log-pow` `difference-of-squares`
1×	`clear-num` `sum-log` `frac-2neg` `flip3--` `associate-*r/` `div-inv` `flip--` `associate-/l/`

Counts

4 → 370

Calls

4 calls:

47.0ms	(* (- t 1.0) (log a))
17.0ms	(* y (log z))
1.7s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.8s	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series594.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(* (- t 1.0) (log a))
69.0ms	(* y (log z))
167.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
250.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify2.8s

Counts

382 → 382

Iterations

Iter	Nodes
done	5038
2	3520
1	1305
0	559

prune2.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.8b

localize73.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt y) (cbrt y)))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite35.1s

Algorithm

rewrite-expression-head

Rules

27241×	`*-un-lft-identity`
17432×	`cbrt-prod`
12760×	`associate-l`
12113×	`exp-sum`
11136×	`associate-r`
10487×	`add-sqr-sqrt`
10161×	`prod-diff`
8136×	`distribute-lft-out`
8127×	`times-frac`
7225×	`add-cube-cbrt`
6824×	`swap-sqr`
2733×	`distribute-lft-out--`
1684×	`unswap-sqr`
1610×	`associate--l+`
1380×	`log-prod`
690×	`distribute-rgt-in` `associate-+l+` `associate-+r+` `distribute-lft-in`
386×	`*-commutative`
301×	`associate-/l*`
171×	`sub-neg`
115×	`+-commutative`
89×	`add-cbrt-cube`
69×	`cbrt-unprod`
33×	`exp-prod`
30×	`cbrt-undiv`
27×	`associate-/r*`
25×	`add-exp-log`
22×	`add-log-exp`
9×	`prod-exp` `rem-exp-log`
7×	`exp-diff`
6×	`diff-log` `div-exp`
4×	`expm1-log1p-u` `pow1` `cbrt-div` `associate-*r/` `insert-posit16` `log1p-expm1-u`
3×	`sum-log` `difference-of-squares` `associate-/l/`
1×	`frac-times` `clear-num` `frac-2neg` `associate-*l/` `div-inv`

Counts

4 → 8711

Calls

4 calls:

28.2s	(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt y) (cbrt y)))
1.6s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.4s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series942.0ms

Counts

4 → 12

Calls

4 calls:

490.0ms	(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt y) (cbrt y)))
153.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
147.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
151.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify10.0s

Counts

8723 → 8723

Iterations

Iter	Nodes
done	5000
0	4064

prune40.5s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 0.6b

localize104.0ms

Local error

Found 4 expressions with local error:

1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite6.4s

Algorithm

rewrite-expression-head

Rules

328×	`*-un-lft-identity`
172×	`exp-sum`
112×	`associate-l`
108×	`prod-diff`
96×	`distribute-lft-out`
80×	`add-sqr-sqrt`
72×	`add-cube-cbrt`
60×	`distribute-lft-out--`
56×	`associate--l+`
48×	`log-prod`
44×	`exp-prod`
28×	`add-log-exp`
24×	`distribute-rgt-in` `associate-+l+` `associate-+r+` `distribute-lft-in`
12×	`rem-exp-log`
8×	`diff-log`
4×	`expm1-log1p-u` `pow1` `+-commutative` `sum-log` `sub-neg` `add-cbrt-cube` `exp-diff` `add-exp-log` `insert-posit16` `log1p-expm1-u` `difference-of-squares`

Counts

4 → 272

Calls

4 calls:

1.6s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.6s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.6s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.6s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series802.0ms

Counts

4 → 12

Calls

4 calls:

181.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
214.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
191.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
215.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify3.2s

Counts

284 → 284

Iterations

Iter	Nodes
done	5002
3	2943
2	1012
1	427
0	194

prune2.8s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 0.5b

localize136.0ms

Local error

Found 4 expressions with local error:

1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite5.2s

Algorithm

rewrite-expression-head

Rules

329×	`*-un-lft-identity`
129×	`exp-sum`
112×	`associate-l`
108×	`prod-diff`
96×	`distribute-lft-out`
81×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
60×	`distribute-lft-out--`
56×	`associate--l+`
48×	`log-prod`
43×	`unpow-prod-up`
33×	`exp-prod`
24×	`distribute-rgt-in` `associate-+l+` `associate-+r+` `distribute-lft-in`
22×	`add-log-exp`
11×	`pow-unpow`
9×	`rem-exp-log`
6×	`diff-log`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `+-commutative` `sub-neg` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `difference-of-squares`
3×	`sum-log` `unpow-prod-down` `exp-diff`
2×	`pow-exp`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `pow-sub` `sqr-pow`

Counts

4 → 277

Calls

4 calls:

1.7s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.4s	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
614.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series707.0ms

Counts

4 → 12

Calls

4 calls:

161.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
180.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
177.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
188.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify2.1s

Counts

289 → 289

Iterations

Iter	Nodes
done	5000
2	1783
1	709
0	264

prune2.8s

Pruning

30 alts after pruning (29 fresh and 1 done)

Merged error: 0.4b

regimes5.1s

Accuracy

0% (0.6b remaining)

Error of 1.1b against oracle of 0.5b and baseline of 1.1b

bsearch0.0ms

simplify18.0ms

Iterations

Iter	Nodes
done	41
2	41
1	39
0	31

end0.0ms

sample17.1s

Algorithm

intervals

Results

10.3s	46021×	body	80	nan
3.2s	15223×	body	80	valid