Details

sample94.0ms

Algorithm

intervals

Results

19.0ms	121×	body	320	valid
16.0ms	529×	pre	80	true
15.0ms	95×	body	160	valid
14.0ms	273×	body	80	nan
3.0ms	15×	body	640	valid
1.0ms	25×	body	80	valid

simplify44.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	14	17
1	24	17
2	44	16
3	79	16
4	92	16
5	100	16
done	100	16

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 53.8b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- (* b b) (* (* 4.0 a) c)))
0.1b	(- (* b b) (* (* 4.0 a) c))
0.1b	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
27.1b	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
121×	`add-sqr-sqrt`
94×	`*-un-lft-identity`
68×	`add-cube-cbrt`
26×	`difference-of-squares`
22×	`associate-/l*`
16×	`sqrt-prod`
13×	`distribute-lft-out--`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
5×	`pow1` `div-inv`
3×	`cbrt-undiv` `flip3--` `div-exp` `associate-/r*` `flip--`
2×	`sub-neg` `sqrt-div` `diff-log` `div-sub`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `associate-/l/`

Counts

4 → 149

Calls

4 calls:

4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(- (* b b) (* (* 4.0 a) c))
13.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
8.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

series76.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
10.0ms	(- (* b b) (* (* 4.0 a) c))
29.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
21.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

simplify515.0ms

Counts

161 → 161

Iterations

Useful iterations: 2 (179.0ms)

Iter	Nodes	Cost
0	277	4079
1	660	3908
2	2126	3756
done	5000	3756

prune380.0ms

Filtered

115 candidates to 161 candidates (-40.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	150	11	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	11	162

Merged error: 2.3b

Counts

162 → 11

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

prune41.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	10	10
Picked	1	1
Done	0	0
Total	11	11

Merged error: 2.3b

Counts

11 → 11

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (/ (* -2.0 (/ (* a c) b)) 2.0) a)
0.2b	(/ (* a c) b)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
27×	`add-exp-log` `add-cbrt-cube`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`cbrt-undiv` `div-exp`
8×	`associate-/l*`
6×	`associate-/r*` `div-inv`
5×	`prod-exp` `cbrt-unprod`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 73

Calls

2 calls:

11.0ms	(/ (/ (* -2.0 (/ (* a c) b)) 2.0) a)
5.0ms	(/ (* a c) b)

series14.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (/ (* -2.0 (/ (* a c) b)) 2.0) a)
8.0ms	(/ (* a c) b)

simplify451.0ms

Counts

79 → 79

Iterations

Useful iterations: 2 (143.0ms)

Iter	Nodes	Cost
0	167	1164
1	455	1118
2	2056	956
done	5001	956

prune151.0ms

Filtered

54 candidates to 79 candidates (-46.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	71	8	79
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	72	18	90

Merged error: 2.2b

Counts

90 → 18

localize9.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ (* a c) b)
0.3b	(/ a (/ (* -2.0 (/ (* a c) b)) 2.0))
0.3b	(/ 1 (/ a (/ (* -2.0 (/ (* a c) b)) 2.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

234×	`times-frac`
104×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
97×	`add-exp-log`
58×	`div-exp`
55×	`add-cbrt-cube`
36×	`associate-/r*`
30×	`cbrt-undiv`
23×	`div-inv`
17×	`prod-exp`
9×	`cbrt-unprod`
7×	`associate-/l*`
6×	`rec-exp` `1-exp` `associate-/r/`
4×	`pow1`
3×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

3 → 217

Calls

3 calls:

5.0ms	(/ (* a c) b)
12.0ms	(/ a (/ (* -2.0 (/ (* a c) b)) 2.0))
15.0ms	(/ 1 (/ a (/ (* -2.0 (/ (* a c) b)) 2.0)))

series17.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (* a c) b)
6.0ms	(/ a (/ (* -2.0 (/ (* a c) b)) 2.0))
6.0ms	(/ 1 (/ a (/ (* -2.0 (/ (* a c) b)) 2.0)))

simplify663.0ms

Counts

226 → 226

Iterations

Useful iterations: 2 (304.0ms)

Iter	Nodes	Cost
0	356	4443
1	908	4021
2	3814	3414
done	5000	3414

prune186.0ms

Filtered

119 candidates to 226 candidates (-89.9%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	222	4	226
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	222	22	244

Merged error: 2.2b

Counts

244 → 22

regimes387.0ms

Accuracy

0% (3.5b remaining)

Error of 6.2b against oracle of 2.7b and baseline of 6.2b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

end0.0ms

sample2.6s

Algorithm

intervals

Results

565.0ms	3624×	body	320	valid
477.0ms	16167×	pre	80	true
437.0ms	8167×	body	80	nan
322.0ms	2961×	body	160	valid
104.0ms	499×	body	640	valid
49.0ms	916×	body	80	valid

Details

sample94.0ms

simplify44.0ms

prune8.0ms

localize11.0ms

rewrite38.0ms

series76.0ms

simplify515.0ms

prune380.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune41.0ms

localize8.0ms

rewrite19.0ms

series14.0ms

simplify451.0ms

prune151.0ms

localize9.0ms

rewrite46.0ms

series17.0ms

simplify663.0ms

prune186.0ms

regimes387.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling