Details

sample280.0ms

Algorithm

intervals

Results

106.0ms	1469×	body	80	nan
38.0ms	488×	body	80	valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 3 (16.0ms)

Iter	Nodes	Cost
0	17	18
1	32	18
2	64	18
3	157	16
4	469	16
5	1857	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)

rewrite35.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:

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

series144.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
50.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)

simplify884.0ms

Counts

107 → 107

Iterations

Useful iterations: done (881.0ms)

Iter	Nodes	Cost
0	253	1687
1	566	1602
2	1711	1228
done	5000	1224

prune186.0ms

Filtered

81 candidates to 107 candidates (-32.1%)

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

localize20.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)

rewrite31.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:

8.0ms	(* (- t 1.0) (log a))
5.0ms	(* y (log z))
6.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)

series153.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
52.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
82.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify975.0ms

Counts

115 → 115

Iterations

Useful iterations: done (967.0ms)

Iter	Nodes	Cost
0	272	1998
1	624	1834
2	1863	1563
done	5001	1559

prune183.0ms

Filtered

81 candidates to 115 candidates (-42.0%)

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

localize22.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))

rewrite37.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))
5.0ms	(* y (log z))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
12.0ms	(* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

series157.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (- t 1.0) (log a))
9.0ms	(* y (log z))
52.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
85.0ms	(* (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

simplify1.4s

Counts

141 → 141

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	314	2737
1	798	2381
2	2267	2050
done	5000	2048

prune186.0ms

Filtered

85 candidates to 141 candidates (-65.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

localize16.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))

rewrite44.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:

11.0ms	(/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y)
5.0ms	(pow a (- t 1.0))
8.0ms	(/ (pow a (- t 1.0)) (exp b))
14.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

series191.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))
24.0ms	(/ (pow a (- t 1.0)) (exp b))
83.0ms	(* x (/ (* (pow z y) (/ (pow a (- t 1.0)) (exp b))) y))

simplify836.0ms

Counts

161 → 161

Iterations

Useful iterations: done (831.0ms)

Iter	Nodes	Cost
0	295	2928
1	758	2769
2	2510	2317
done	5000	2315

prune199.0ms

Filtered

100 candidates to 161 candidates (-61.0%)

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

regimes978.0ms

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.3s

Algorithm

intervals

Results

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

Details

sample280.0ms

simplify1.5s

prune16.0ms

localize17.0ms

rewrite35.0ms

series144.0ms

simplify884.0ms

prune186.0ms

localize20.0ms

rewrite31.0ms

series153.0ms

simplify975.0ms

prune183.0ms

localize22.0ms

rewrite37.0ms

series157.0ms

simplify1.4s

prune186.0ms

localize16.0ms

rewrite44.0ms

series191.0ms

simplify836.0ms

prune199.0ms

regimes978.0ms

bsearch1.0ms

simplify4.0ms

end0.0ms

sample8.3s

Profiling