Details

sample90.0ms

Algorithm

intervals

Results

41.0ms	101×	body	1280	valid
19.0ms	83×	body	640	valid
8.0ms	270×	body	80	nan
5.0ms	40×	body	320	valid
2.0ms	22×	body	160	valid
0.0ms	10×	body	80	valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8

prune2.0ms

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: 57.7b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- 1.0 eps) (+ 1.0 eps))
7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/l*`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1`
2×	`flip3-+` `div-exp` `rem-log-exp` `flip-+` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-sub` `clear-num` `log-pow` `flip--`

Counts

2 → 83

Calls

2 calls:

8.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

series9.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify646.0ms

Counts

89 → 89

Iterations

Useful iterations: done (643.0ms)

Iter	Nodes	Cost
0	143	1284
1	337	1221
2	907	1152
3	2438	1124
done	5000	1123

prune172.0ms

Filtered

59 candidates to 89 candidates (-50.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	83	6	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	6	90

Merged error: 0.2b

Counts

90 → 6

localize11.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune17.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	5	5
Picked	1	1
Done	0	0
Total	6	6

Merged error: 0.2b

Counts

6 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
78×	`log-prod`
60×	`times-frac`
59×	`add-sqr-sqrt`
35×	`add-cube-cbrt`
15×	`distribute-lft-out`
13×	`add-exp-log`
12×	`distribute-lft-out--` `difference-of-squares`
8×	`pow1`
6×	`rem-log-exp` `associate-/r/`
4×	`cbrt-prod` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`log-div` `flip3-+` `div-exp` `flip-+` `div-inv`
1×	`pow1/3`

Counts

4 → 123

Calls

4 calls:

2.0ms	(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
11.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify752.0ms

Counts

135 → 135

Iterations

Useful iterations: 3 (253.0ms)

Iter	Nodes	Cost
0	160	2248
1	374	2127
2	960	1992
3	2924	1911
done	5000	1911

prune381.0ms

Filtered

89 candidates to 135 candidates (-51.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	132	3	135
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	134	7	141

Merged error: 0.2b

Counts

141 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.5b	(log (/ (- 1.0 eps) (+ 1.0 eps)))
7.6b	(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
7.7b	(log (sqrt (+ 1.0 eps)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

106×	`*-un-lft-identity`
100×	`log-prod`
75×	`times-frac`
74×	`add-sqr-sqrt`
44×	`add-cube-cbrt`
24×	`sqrt-prod`
16×	`distribute-lft-out`
15×	`distribute-lft-out--` `difference-of-squares`
14×	`add-exp-log`
9×	`pow1`
7×	`rem-log-exp`
6×	`associate-/r/` `log-pow`
5×	`log-div`
4×	`flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`div-exp` `div-inv`
1×	`sqrt-pow1` `pow1/2`

Counts

4 → 146

Calls

4 calls:

8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
8.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
10.0ms	(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
5.0ms	(log (sqrt (+ 1.0 eps)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
6.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
12.0ms	(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
6.0ms	(log (sqrt (+ 1.0 eps)))

simplify444.0ms

Counts

158 → 158

Iterations

Useful iterations: done (438.0ms)

Iter	Nodes	Cost
0	283	2720
1	627	2571
2	1717	2397
done	5000	2306

prune519.0ms

Filtered

100 candidates to 158 candidates (-58.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	159	6	165

Merged error: 0.2b

Counts

165 → 6

regimes52.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	16	18
done	16	18

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.4s	3414×	body	1280	valid
567.0ms	2441×	body	640	valid
242.0ms	8022×	body	80	nan
174.0ms	1251×	body	320	valid
60.0ms	673×	body	160	valid
9.0ms	221×	body	80	valid

Details

sample90.0ms

simplify7.0ms

prune2.0ms

localize10.0ms

rewrite19.0ms

series9.0ms

simplify646.0ms

prune172.0ms

localize11.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune17.0ms

localize9.0ms

rewrite34.0ms

series28.0ms

simplify752.0ms

prune381.0ms

localize18.0ms

rewrite38.0ms

series34.0ms

simplify444.0ms

prune519.0ms

regimes52.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.8s

Profiling