Details

sample266.0ms

Algorithm

intervals

Results

89.0ms	1259×	body	80	nan
41.0ms	398×	body	80	valid
5.0ms	11×	body	640	valid
3.0ms	13×	body	320	valid
1.0ms	8×	body	160	valid
1.0ms	1×	body	1280	valid

simplify389.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (36.0ms)

Iter	Nodes	Cost
0	17	18
1	30	18
2	58	18
3	112	18
4	286	17
5	974	17
done	5000	17

prune17.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: 1.8b

Counts

2 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.1b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.9b	(log (- 1.0 z))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity`
22×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
15×	`add-cube-cbrt`
14×	`associate-+r+`
10×	`pow1` `associate-+l+` `associate-r/` `associate-r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`sub-neg` `flip3--` `associate-l` `flip--` `add-log-exp`
5×	`distribute-lft-out--`
4×	`frac-add` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `sum-log` `flip-+`

Counts

4 → 107

Calls

4 calls:

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

series141.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
22.0ms	(* y (- (log z) t))
43.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify577.0ms

Counts

119 → 119

Iterations

Useful iterations: done (573.0ms)

Iter	Nodes	Cost
0	280	2029
1	699	1936
2	2223	1755
done	5001	1744

prune241.0ms

Filtered

88 candidates to 119 candidates (-35.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	115	6	121

Merged error: 0.0b

Counts

121 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
0.1b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

47×	`associate--l+`
30×	`*-un-lft-identity`
27×	`add-sqr-sqrt` `log-prod`
24×	`distribute-rgt-in` `distribute-lft-in`
17×	`add-cube-cbrt`
14×	`associate-+r+`
13×	`sub-neg` `associate-r`
12×	`associate-*r/`
11×	`pow1`
10×	`associate-+l+`
9×	`distribute-lft-out--`
8×	`add-exp-log` `add-cbrt-cube`
7×	`flip3--` `flip--` `add-log-exp`
6×	`associate-l`
4×	`frac-add`
3×	`log-pow` `difference-of-squares`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `diff-log` `sum-log` `flip-+`

Counts

4 → 128

Calls

4 calls:

5.0ms	(- (log z) t)
20.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
8.0ms	(* y (- (log z) t))
29.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series114.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (log z) t)
22.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
15.0ms	(* y (- (log z) t))
67.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify805.0ms

Counts

140 → 140

Iterations

Useful iterations: done (800.0ms)

Iter	Nodes	Cost
0	253	3059
1	614	2932
2	1852	2770
done	5000	2689

prune337.0ms

Filtered

92 candidates to 140 candidates (-52.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	140	6	146

Merged error: 0.0b

Counts

146 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (log z)) (- (* a (- (log (- 1.0 z)) b)) (* t y)))))
0.2b	(* y (log z))
0.3b	(- (* a (- (log (- 1.0 z)) b)) (* t y))
5.9b	(log (- 1.0 z))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

12.0ms	(* x (exp (+ (* y (log z)) (- (* a (- (log (- 1.0 z)) b)) (* t y)))))
12.0ms	(* y (log z))
11.0ms	(- (* a (- (log (- 1.0 z)) b)) (* t y))
4.0ms	(log (- 1.0 z))

series115.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(* x (exp (+ (* y (log z)) (- (* a (- (log (- 1.0 z)) b)) (* t y)))))
7.0ms	(* y (log z))
29.0ms	(- (* a (- (log (- 1.0 z)) b)) (* t y))
3.0ms	(log (- 1.0 z))

simplify1.1s

Counts

99 → 99

Iterations

Useful iterations: 3 (430.0ms)

Iter	Nodes	Cost
0	233	1433
1	515	1398
2	1394	1208
3	4631	1161
done	5000	1161

prune198.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	99	6	105

Merged error: 0b

Counts

105 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.9b	(log (- 1.0 z))
5.9b	(log (- 1.0 z))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod`
32×	`associate--l+`
28×	`associate-+r+`
26×	`add-sqr-sqrt` `*-un-lft-identity`
24×	`distribute-rgt-in` `distribute-lft-in`
20×	`associate-+l+`
16×	`associate-*r/`
14×	`add-cube-cbrt`
10×	`flip3--` `flip--`
8×	`sub-neg` `frac-add` `add-log-exp`
6×	`pow1` `add-exp-log` `distribute-lft-out--` `difference-of-squares`
4×	`log-div` `add-cbrt-cube`
2×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `log-pow` `flip-+`

Counts

4 → 110

Calls

4 calls:

14.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
14.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0ms	(log (- 1.0 z))
4.0ms	(log (- 1.0 z))

series91.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
42.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))
3.0ms	(log (- 1.0 z))

simplify475.0ms

Counts

122 → 122

Iterations

Useful iterations: done (471.0ms)

Iter	Nodes	Cost
0	192	2332
1	500	2222
2	1630	2084
done	5000	2032

prune346.0ms

Filtered

98 candidates to 122 candidates (-24.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Merged error: 0b

Counts

128 → 6

regimes896.0ms

Accuracy

0% (0.2b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	30
1	32	30
done	32	30

end0.0ms

sample8.3s

Algorithm

intervals

Results

3.1s	41332×	body	80	nan
1.1s	12646×	body	80	valid
149.0ms	350×	body	640	valid
111.0ms	393×	body	320	valid
69.0ms	84×	body	1280	valid
51.0ms	260×	body	160	valid

Details

sample266.0ms

simplify389.0ms

prune17.0ms

localize23.0ms

rewrite42.0ms

series141.0ms

simplify577.0ms

prune241.0ms

localize23.0ms

rewrite67.0ms

series114.0ms

simplify805.0ms

prune337.0ms

localize17.0ms

rewrite41.0ms

series115.0ms

simplify1.1s

prune198.0ms

localize19.0ms

rewrite47.0ms

series91.0ms

simplify475.0ms

prune346.0ms

regimes896.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample8.3s

Profiling