Details

sample87.0ms

Algorithm

intervals

Results

20.0ms	295×	body	80	nan
16.0ms	157×	body	160	valid
16.0ms	551×	pre	80	true
8.0ms	51×	body	320	valid
3.0ms	48×	body	80	valid

simplify43.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	12	17
1	21	17
2	41	16
3	76	16
4	90	16
5	98	16
done	98	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: 44.7b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* b b) (* (* 3.0 a) c))
0.3b	(* (* 3.0 a) c)
0.3b	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
39.5b	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
14×	`add-exp-log` `add-cbrt-cube`
13×	`*-un-lft-identity`
9×	`pow1`
8×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`times-frac` `associate-/l*` `difference-of-squares`
4×	`prod-exp` `cbrt-unprod`
3×	`flip3--` `associate-r` `pow-prod-down` `sqrt-prod` `flip--` `distribute-lft-out--`
2×	`cbrt-undiv` `sub-neg` `diff-log` `div-exp` `associate-/l/`
1×	`frac-2neg` `div-sub` `associate-l` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 75

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
6.0ms	(* (* 3.0 a) c)
11.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
8.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series61.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
28.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
20.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify637.0ms

Counts

87 → 87

Iterations

Useful iterations: done (634.0ms)

Iter	Nodes	Cost
0	154	1460
1	406	1392
2	1714	1236
done	5000	1224

prune175.0ms

Filtered

60 candidates to 87 candidates (-45.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	78	9	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	9	88

Merged error: 5.1b

Counts

88 → 9

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

prune30.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	8	8
Picked	1	1
Done	0	0
Total	9	9

Merged error: 5.1b

Counts

9 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

0.3b	(/ (* a c) b)
0.3b	(* -1.5 (/ (* a c) b))
0.4b	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log` `add-cbrt-cube`
17×	`prod-exp` `cbrt-unprod`
16×	`cbrt-undiv` `div-exp`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`times-frac` `associate-r`
5×	`pow1`
4×	`associate-/r*`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-r/` `clear-num` `associate-/l`
1×	`pow-prod-down` `*-commutative` `associate-/l/` `unswap-sqr`

Counts

3 → 78

Calls

3 calls:

5.0ms	(/ (* a c) b)
7.0ms	(* -1.5 (/ (* a c) b))
9.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series19.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (* a c) b)
9.0ms	(* -1.5 (/ (* a c) b))
5.0ms	(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

simplify730.0ms

Counts

87 → 87

Iterations

Useful iterations: done (727.0ms)

Iter	Nodes	Cost
0	123	1086
1	388	1077
2	2169	822
done	5000	761

prune157.0ms

Filtered

48 candidates to 87 candidates (-81.3%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	72	15	87
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	73	23	96

Merged error: 5.1b

Counts

96 → 23

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 3.0 (/ (* a c) b))
0.3b	(/ -1.5 (* a (/ 3.0 (/ (* a c) b))))
0.3b	(/ (* a c) b)
0.3b	(* a (/ 3.0 (/ (* a c) b)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

70×	`times-frac`
52×	`add-exp-log` `add-cbrt-cube`
44×	`add-sqr-sqrt`
39×	`add-cube-cbrt` `*-un-lft-identity`
26×	`associate-r`
22×	`cbrt-undiv` `div-exp`
12×	`prod-exp` `cbrt-unprod`
11×	`associate-/r*` `div-inv`
7×	`associate-/l*`
6×	`pow1`
4×	`add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num` `associate-/r/`
2×	`associate-*r/` `unswap-sqr`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 146

Calls

4 calls:

6.0ms	(/ 3.0 (/ (* a c) b))
10.0ms	(/ -1.5 (* a (/ 3.0 (/ (* a c) b))))
5.0ms	(/ (* a c) b)
12.0ms	(* a (/ 3.0 (/ (* a c) b)))

series23.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 3.0 (/ (* a c) b))
5.0ms	(/ -1.5 (* a (/ 3.0 (/ (* a c) b))))
5.0ms	(/ (* a c) b)
6.0ms	(* a (/ 3.0 (/ (* a c) b)))

simplify608.0ms

Counts

158 → 158

Iterations

Useful iterations: done (601.0ms)

Iter	Nodes	Cost
0	212	1969
1	562	1918
2	2392	1597
done	5000	1522

prune187.0ms

Filtered

119 candidates to 158 candidates (-32.8%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	144	14	158
Fresh	9	12	21
Picked	1	0	1
Done	0	1	1
Total	154	27	181

Merged error: 5.0b

Counts

181 → 27

regimes610.0ms

Accuracy

17.1% (5.8b remaining)

Error of 10.9b against oracle of 5.1b and baseline of 12.1b

bsearch28.0ms

Steps

Iters	Range		Point
5	0.0025558239715015338	0.00766766169891012	0.0026063104070945574

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	39
1	25	39
done	25	39

end0.0ms

sample2.3s

Algorithm

intervals

Results

513.0ms	4824×	body	160	valid
468.0ms	16172×	pre	80	true
447.0ms	8172×	body	80	nan
210.0ms	1358×	body	320	valid
99.0ms	1818×	body	80	valid

Details

sample87.0ms

simplify43.0ms

prune8.0ms

localize10.0ms

rewrite31.0ms

series61.0ms

simplify637.0ms

prune175.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune30.0ms

localize8.0ms

rewrite24.0ms

series19.0ms

simplify730.0ms

prune157.0ms

localize8.0ms

rewrite40.0ms

series23.0ms

simplify608.0ms

prune187.0ms

regimes610.0ms

bsearch28.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling