Details

sample88.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

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

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

12.0ms	(/ (- 1.0 eps) (+ 1.0 eps))
7.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)))

simplify590.0ms

Counts

89 → 89

Iterations

Useful iterations: 3 (240.0ms)

Iter	Nodes	Cost
0	143	1284
1	337	1221
2	890	1150
3	2460	1123
done	5000	1123

prune171.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

prune16.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

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

rewrite30.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))))
7.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
8.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)))
5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify661.0ms

Counts

135 → 135

Iterations

Useful iterations: 3 (257.0ms)

Iter	Nodes	Cost
0	160	2248
1	374	2127
2	958	1992
3	2724	1911
done	5000	1911

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

rewrite40.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)))
12.0ms	(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
5.0ms	(log (sqrt (+ 1.0 eps)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
5.0ms	(log (/ (- 1.0 eps) (+ 1.0 eps)))
11.0ms	(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
6.0ms	(log (sqrt (+ 1.0 eps)))

simplify447.0ms

Counts

158 → 158

Iterations

Useful iterations: done (441.0ms)

Iter	Nodes	Cost
0	283	2720
1	627	2571
2	1712	2393
done	5000	2306

prune505.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

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

Algorithm

intervals

Results

1.4s	3414×	body	1280	valid
558.0ms	2441×	body	640	valid
248.0ms	8022×	body	80	nan
175.0ms	1251×	body	320	valid
59.0ms	673×	body	160	valid
9.0ms	221×	body	80	valid

Details

sample88.0ms

simplify7.0ms

prune2.0ms

localize5.0ms

rewrite23.0ms

series9.0ms

simplify590.0ms

prune171.0ms

localize11.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune16.0ms

localize12.0ms

rewrite30.0ms

series28.0ms

simplify661.0ms

prune373.0ms

localize18.0ms

rewrite40.0ms

series28.0ms

simplify447.0ms

prune505.0ms

regimes51.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.7s

Profiling