Details

sample66.0ms

Algorithm

intervals

Results

12.0ms	202×	body	80	valid
11.0ms	31×	body	2560	valid
7.0ms	24×	body	1280	valid
6.0ms	3×	body	5120	valid
5.0ms	79×	body	80	nan
4.0ms	18×	body	640	valid
2.0ms	10×	body	320	valid
0.0ms	1×	body	160	valid

simplify76.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	28	17
2	63	17
3	114	17
4	131	17
5	137	17
6	140	17
done	140	17

prune4.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: 32.4b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
0.5b	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
1.0b	(- (* b b) (* 4.0 (* a c)))
21.1b	(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt` `times-frac` `associate-/l*`
6×	`sqrt-prod` `distribute-lft-out--` `difference-of-squares`
5×	`pow1`
4×	`flip3--` `flip--`
3×	`distribute-rgt-neg-in` `diff-log`
2×	`cbrt-undiv` `sub-neg` `sqrt-div` `div-exp` `associate-/l/`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `neg-log` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 77

Calls

4 calls:

17.0ms	(/ (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
9.0ms	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
4.0ms	(- (* b b) (* 4.0 (* a c)))
4.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

series68.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
18.0ms	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
10.0ms	(- (* b b) (* 4.0 (* a c)))
17.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify467.0ms

Counts

89 → 89

Iterations

Useful iterations: done (464.0ms)

Iter	Nodes	Cost
0	155	1752
1	405	1653
2	1333	1483
done	5000	1467

prune192.0ms

Filtered

66 candidates to 89 candidates (-34.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	8	90

Merged error: 6.2b

Counts

90 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
0.5b	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
1.0b	(- (* b b) (* 4.0 (* a c)))
21.1b	(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log`
19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
13×	`add-cbrt-cube`
10×	`prod-exp` `add-log-exp`
8×	`add-cube-cbrt`
7×	`pow1` `associate-r` `associate-l`
5×	`flip3--` `sqrt-prod` `flip--`
4×	`div-exp` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
3×	`times-frac` `diff-log`
2×	`cbrt-undiv` `frac-times` `sub-neg` `rec-exp` `distribute-rgt-neg-in` `sqrt-div` `1-exp` `associate-*l/`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `neg-log` `un-div-inv` `-commutative` `div-inv` `unswap-sqr`

Counts

4 → 85

Calls

4 calls:

18.0ms	(* (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
12.0ms	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
4.0ms	(- (* b b) (* 4.0 (* a c)))
4.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

series68.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (/ 1 (* 2.0 a)))
18.0ms	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
10.0ms	(- (* b b) (* 4.0 (* a c)))
17.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify515.0ms

Counts

97 → 97

Iterations

Useful iterations: 2 (144.0ms)

Iter	Nodes	Cost
0	181	2005
1	475	1802
2	1738	1574
done	5000	1574

prune169.0ms

Filtered

67 candidates to 97 candidates (-44.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	98	7	105

Merged error: 6.2b

Counts

105 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)
3.2b	(/ (/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
11.6b	(/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))
21.1b	(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-sqr-sqrt`
78×	`times-frac`
58×	`*-un-lft-identity`
36×	`add-cube-cbrt`
27×	`associate-/l*`
22×	`difference-of-squares`
18×	`add-exp-log` `add-cbrt-cube`
14×	`sqrt-prod`
11×	`distribute-lft-out--`
7×	`cbrt-undiv` `div-exp` `associate-/r*`
6×	`associate-/r/` `add-log-exp`
5×	`pow1` `flip3--` `flip--`
4×	`div-inv`
3×	`associate-/l/`
2×	`frac-2neg` `sqrt-div` `prod-exp` `clear-num` `cbrt-unprod`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `diff-log` `flip-+`

Counts

4 → 141

Calls

4 calls:

8.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)
23.0ms	(/ (/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
14.0ms	(/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))
5.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

series162.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)
55.0ms	(/ (/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
68.0ms	(/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))
21.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify621.0ms

Counts

153 → 153

Iterations

Useful iterations: 2 (212.0ms)

Iter	Nodes	Cost
0	248	4590
1	621	4073
2	2589	3777
done	5000	3777

prune316.0ms

Filtered

112 candidates to 153 candidates (-36.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	149	4	153
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	151	9	160

Merged error: 6.1b

Counts

160 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (sqrt (- (* b b) (* 4.0 (* a c)))) (* 2.0 a))
1.0b	(- (* b b) (* 4.0 (* a c)))
5.7b	(- (/ (neg b) (* 2.0 a)) (/ (sqrt (- (* b b) (* 4.0 (* a c)))) (* 2.0 a)))
21.1b	(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
10×	`times-frac`
9×	`add-exp-log` `add-cube-cbrt` `sqrt-prod` `add-cbrt-cube`
8×	`add-log-exp`
6×	`associate-/l*`
5×	`pow1`
4×	`flip3--` `sqrt-div` `flip--`
3×	`div-inv` `distribute-lft-out--`
2×	`cbrt-undiv` `sub-neg` `diff-log` `div-exp` `associate-/l/`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `distribute-rgt-out--` `distribute-rgt-neg-in` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `prod-exp` `clear-num` `associate-/r*` `frac-sub` `cbrt-unprod` `sub-div` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

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

series93.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(/ (sqrt (- (* b b) (* 4.0 (* a c)))) (* 2.0 a))
10.0ms	(- (* b b) (* 4.0 (* a c)))
28.0ms	(- (/ (neg b) (* 2.0 a)) (/ (sqrt (- (* b b) (* 4.0 (* a c)))) (* 2.0 a)))
16.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify650.0ms

Counts

88 → 88

Iterations

Useful iterations: done (647.0ms)

Iter	Nodes	Cost
0	164	1804
1	418	1672
2	1365	1526
done	5000	1521

prune140.0ms

Filtered

67 candidates to 88 candidates (-31.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	88	9	97

Merged error: 6.1b

Counts

97 → 9

regimes319.0ms

Accuracy

87.1% (3.5b remaining)

Error of 9.3b against oracle of 5.8b and baseline of 32.7b

bsearch114.0ms

Steps

Iters	Range		Point
10	1.1487243557305423e+102	3.920821933018458e+112	8.235765262469676e+111
7	-5.1440606176194e-107	-1.3691623995958124e-108	-1.6677459094321907e-108
9	-5050.104235080154	-0.0001616040529746431	-660.2639796459094

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	34	67
1	42	65
done	42	65

end0.0ms

sample1.8s

Algorithm

intervals

Results

378.0ms	1061×	body	2560	valid
354.0ms	5949×	body	80	valid
245.0ms	858×	body	1280	valid
176.0ms	2992×	body	80	nan
99.0ms	454×	body	640	valid
47.0ms	116×	body	5120	valid
39.0ms	236×	body	320	valid
12.0ms	111×	body	160	valid

Details

sample66.0ms

simplify76.0ms

prune4.0ms

localize13.0ms

rewrite38.0ms

series68.0ms

simplify467.0ms

prune192.0ms

localize14.0ms

rewrite42.0ms

series68.0ms

simplify515.0ms

prune169.0ms

localize14.0ms

rewrite56.0ms

series162.0ms

simplify621.0ms

prune316.0ms

localize14.0ms

rewrite37.0ms

series93.0ms

simplify650.0ms

prune140.0ms

regimes319.0ms

bsearch114.0ms

simplify3.0ms

end0.0ms

sample1.8s

Profiling