Details

sample290.0ms

Algorithm

intervals

Results

102.0ms	1469×	body	80	nan
44.0ms	488×	body	80	valid

simplify618.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (15.0ms)

Iter	Nodes	Cost
0	17	18
1	32	18
2	64	18
3	157	16
4	470	16
5	2077	16
done	5000	16

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.2b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`times-frac` `exp-sum` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 95

Calls

4 calls:

13.0ms	(* (- t 1.0) (log a))
5.0ms	(* y (log z))
8.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series147.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
54.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
76.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify536.0ms

Counts

107 → 107

Iterations

Useful iterations: done (533.0ms)

Iter	Nodes	Cost
0	253	1687
1	578	1604
2	1856	1255
done	5000	1227

prune193.0ms

Filtered

82 candidates to 107 candidates (-30.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	101	6	107
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	103	6	109

Merged error: 0.0b

Counts

109 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.1b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
21×	`add-exp-log`
20×	`*-un-lft-identity`
16×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`log-prod`
11×	`pow1`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in` `prod-exp`
5×	`pow-unpow` `div-exp`
4×	`pow-exp` `add-log-exp`
3×	`unpow-prod-up` `unpow-prod-down` `times-frac` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `pow-to-exp` `e-exp-1` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `pow-sub` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `pow-pow` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `flip--` `div-inv` `associate-/l/` `associate-/l` `sqr-pow`

Counts

4 → 103

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
5.0ms	(* y (log z))
12.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
8.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series158.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
8.0ms	(* y (log z))
54.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
86.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify551.0ms

Counts

115 → 115

Iterations

Useful iterations: done (547.0ms)

Iter	Nodes	Cost
0	272	1998
1	639	1853
2	2054	1591
done	5000	1564

prune183.0ms

Filtered

79 candidates to 115 candidates (-45.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	115	6	121

Merged error: 0.0b

Counts

121 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.1b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.8b	(* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-exp-log`
38×	`prod-exp`
29×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
21×	`add-cube-cbrt` `associate-r`
20×	`add-cbrt-cube`
13×	`pow1`
12×	`log-prod`
10×	`div-exp` `pow-exp`
9×	`times-frac` `associate-l`
8×	`cbrt-unprod`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`pow-to-exp` `e-exp-1` `rec-exp` `pow-unpow` `1-exp`
4×	`add-log-exp`
3×	`unpow-prod-up` `unpow-prod-down` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `pow-sub`
2×	`cbrt-undiv` `log-pow` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`frac-times` `sub-neg` `flip3--` `pow-pow` `associate--l+` `un-div-inv` `flip--` `div-inv` `sqr-pow`

Counts

4 → 129

Calls

4 calls:

8.0ms	(* (- t 1.0) (log a))
6.0ms	(* y (log z))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms	(* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

series162.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
58.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
87.0ms	(* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

simplify680.0ms

Counts

141 → 141

Iterations

Useful iterations: done (676.0ms)

Iter	Nodes	Cost
0	314	2737
1	810	2463
2	2729	2097
done	5000	2051

prune202.0ms

Filtered

91 candidates to 141 candidates (-54.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	141	6	147

Merged error: 0.0b

Counts

147 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
0.3b	(pow a (- t 1.0))
0.7b	(/ (pow a (- t 1.0)) (exp b))
1.0b	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

84×	`add-exp-log`
47×	`div-exp`
38×	`prod-exp`
33×	`add-sqr-sqrt` `times-frac`
31×	`*-un-lft-identity`
29×	`add-cube-cbrt` `add-cbrt-cube`
16×	`pow-to-exp` `pow-exp`
15×	`unpow-prod-down`
10×	`unpow-prod-up` `associate-/l*`
9×	`cbrt-undiv`
8×	`cbrt-unprod`
7×	`pow1` `associate-r`
6×	`associate-/r*`
5×	`sub-neg` `pow-unpow` `sqr-pow`
4×	`add-log-exp`
3×	`associate-l` `div-inv`
2×	`frac-2neg` `associate-*r/` `clear-num` `associate-/l/` `pow-sub`
1×	`pow-pow` `pow-prod-down` `*-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 149

Calls

4 calls:

12.0ms	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
10.0ms	(pow a (- t 1.0))
7.0ms	(/ (pow a (- t 1.0)) (exp b))
14.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

series196.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
13.0ms	(pow a (- t 1.0))
29.0ms	(/ (pow a (- t 1.0)) (exp b))
81.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

simplify683.0ms

Counts

161 → 161

Iterations

Useful iterations: done (669.0ms)

Iter	Nodes	Cost
0	295	2928
1	766	2784
2	2756	2403
done	5000	2343

prune214.0ms

Filtered

102 candidates to 161 candidates (-57.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	158	3	161
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	160	7	167

Merged error: 0.0b

Counts

167 → 7

regimes1.0s

Accuracy

-6% (2.0b remaining)

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

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	36	79
1	50	59
done	50	59

end0.0ms

sample8.7s

Algorithm

intervals

Results

3.4s	44548×	body	80	nan
1.2s	15048×	body	80	valid

Details

sample290.0ms

simplify618.0ms

prune16.0ms

localize17.0ms

rewrite42.0ms

series147.0ms

simplify536.0ms

prune193.0ms

localize17.0ms

rewrite38.0ms

series158.0ms

simplify551.0ms

prune183.0ms

localize18.0ms

rewrite38.0ms

series162.0ms

simplify680.0ms

prune202.0ms

localize13.0ms

rewrite49.0ms

series196.0ms

simplify683.0ms

prune214.0ms

regimes1.0s

bsearch1.0ms

simplify4.0ms

end0.0ms

sample8.7s

Profiling