Details

sample842.0ms

Algorithm

intervals

Results

472.0ms

2201×

body

valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	47
1	350	47
2	1758	47
3	5001	47

prune19.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

8.6b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series653.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
165.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
159.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
163.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5002	1484

prune2.8s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	108	24	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	24	133

Merged error: 17.2b

Counts

133 → 24

localize102.0ms

Local error

Found 4 expressions with local error:

8.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.6b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

8.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
15.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series661.0ms

Counts

4 → 12

Calls

4 calls:

168.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
167.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
161.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
165.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune3.2s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	123	9	132
Fresh	1	22	23
Picked	1	0	1
Done	0	0	0
Total	125	31	156

Merged error: 14.0b

Counts

156 → 31

localize77.0ms

Local error

Found 4 expressions with local error:

8.3b	(cbrt (- (* y4 c) (* y5 a)))
8.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
12×	`frac-times`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`add-log-exp`
3×	`cbrt-prod` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 103

Calls

4 calls:

3.0ms	(cbrt (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series604.0ms

Counts

4 → 12

Calls

4 calls:

110.0ms	(cbrt (- (* y4 c) (* y5 a)))
163.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
164.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
166.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify115.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	990	1323
1	4468	1224
2	5001	1218

prune2.7s

Filtered

115 candidates to 87 candidates (75.7%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	29	30
Picked	1	0	1
Done	0	0	0
Total	115	31	146

Merged error: 14.0b

Counts

146 → 31

localize78.0ms

Local error

Found 4 expressions with local error:

8.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.6b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

8.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series657.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
164.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
163.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
166.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune2.4s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	0	30	30
Picked	1	0	1
Done	0	0	0
Total	130	33	163

Merged error: 13.4b

Counts

163 → 33

regimes14.9s

Accuracy

1.8% (16.1b remaining)

Error of 29.9b against oracle of 13.7b and baseline of 30.2b

bsearch5.5s

Steps

Iters	Range		Point
11	1.0752699033321231e+108	3.6640975201617357e+127	1.638451196671648e+126
7	0.003417792080812361	0.18882180307018534	0.003461742465937983
9	2.5746989879320137e-224	1.5521934288249497e-217	2.852628372888128e-222
6	-7.681860523528392e-194	-5.57568526997803e-195	-4.884379412030173e-194
8	-1.0703361048107109e-144	-1.4948159048303558e-147	-5.510351082149277e-147
4	-4.035711494468196e-91	-2.1646349654102886e-91	-3.4279335361348106e-91
9	-7.191601515025231e-70	-2.2023971651730033e-76	-2.739372841301269e-74
7	-1.2011439538937654e+22	-2.533099685717446e+20	-4.35639509633492e+20

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	275	471
1	287	471
2	287	471

end0.0ms

sample27.2s

Algorithm

intervals

Results

16.0s

73270×

body

valid

Details

sample842.0ms

simplify44.0ms

prune19.0ms

localize63.0ms

rewrite35.0ms

series653.0ms

simplify40.0ms

prune2.8s

localize102.0ms

rewrite42.0ms

series661.0ms

simplify40.0ms

prune3.2s

localize77.0ms

rewrite31.0ms

series604.0ms

simplify115.0ms

prune2.7s

localize78.0ms

rewrite36.0ms

series657.0ms

simplify42.0ms

prune2.4s

regimes14.9s

bsearch5.5s

simplify7.0ms

end0.0ms

sample27.2s

Profiling