Details

sample959.0ms

Algorithm

intervals

Results

564.0ms

2602×

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

prune10.0ms

Filtered

1 candidates to 0 candidates (100.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: 26.3b

Counts

2 → 1

localize66.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite37.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 y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series443.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
288.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
54.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	1079	1572
1	5002	1484

prune489.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	110	22	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	22	133

Merged error: 16.8b

Counts

133 → 22

localize67.0ms

Local error

Found 4 expressions with local error:

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

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	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series195.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify108.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	822	1572
1	4025	1452
2	5002	1452

prune388.0ms

Filtered

132 candidates to 96 candidates (27.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	133	21	154

Merged error: 16.8b

Counts

154 → 21

localize69.0ms

Local error

Found 4 expressions with local error:

10.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite44.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	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
15.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series202.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
52.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
52.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
50.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify81.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	553	1572
1	2693	1452
2	5002	1452

prune387.0ms

Filtered

132 candidates to 96 candidates (27.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	132	21	153

Merged error: 16.8b

Counts

153 → 21

localize70.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.1b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

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 y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series207.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1079	1572
1	5002	1484

prune180.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	132	21	153

Merged error: 16.8b

Counts

153 → 21

regimes6.5s

Accuracy

-0.7% (11.5b remaining)

Error of 30.4b against oracle of 18.9b and baseline of 30.3b

bsearch744.0ms

Steps

Iters	Range		Point
8	1.2160062671794627e-110	2.3991914523524243e-107	1.1199945743100956e-109
8	-4.0890906595081037e-199	-1.353137815389524e-201	-3.90970889504783e-201

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	142	150
1	146	150
2	146	150

end0.0ms

sample27.0s

Algorithm

intervals

Results

16.2s

73006×

body

valid

Details

sample959.0ms

simplify44.0ms

prune10.0ms

localize66.0ms

rewrite37.0ms

series443.0ms

simplify40.0ms

prune489.0ms

localize67.0ms

rewrite36.0ms

series195.0ms

simplify108.0ms

prune388.0ms

localize69.0ms

rewrite44.0ms

series202.0ms

simplify81.0ms

prune387.0ms

localize70.0ms

rewrite36.0ms

series207.0ms

simplify41.0ms

prune180.0ms

regimes6.5s

bsearch744.0ms

simplify3.0ms

end0.0ms

sample27.0s

Profiling