Details

sample1.2min

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

465.0ms	2098×	body	80	invalid
57.0ms	256×	body	80	valid

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

prune11.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: 27.3b

Counts

2 → 1

localize65.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series206.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5001	1484

prune467.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	111	21	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	21	133

Merged error: 18.8b

Counts

133 → 21

localize68.0ms

Local error

Found 4 expressions with local error:

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

series202.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune375.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

21 alts after pruning (20 fresh and 1 done)

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

Merged error: 18.8b

Counts

153 → 21

localize73.0ms

Local error

Found 4 expressions with local error:

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

series205.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5001	1484

prune434.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	0	19	19
Picked	1	0	1
Done	1	0	1
Total	129	24	153

Merged error: 16.6b

Counts

153 → 24

localize73.0ms

Local error

Found 4 expressions with local error:

7.6b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1079	1572
1	5002	1484

prune166.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	1	22	23
Picked	1	0	1
Done	0	0	0
Total	133	23	156

Merged error: 16.6b

Counts

156 → 23

regimes6.6s

bsearch1.3s

Steps

Iters	Range	Point
8	4.229184033215321e+20	1.0676016841205891e+24	3.146591181023055e+21
7	9.382169788010266e-126	3.9735708715545604e-124	1.613235568036952e-124
7	-6.233649944829358e-188	-3.1356796548352985e-190	-1.886201134953409e-188

Iters

Range

Point

4.229184033215321e+20

1.0676016841205891e+24

3.146591181023055e+21

9.382169788010266e-126

3.9735708715545604e-124

1.613235568036952e-124

-6.233649944829358e-188

-3.1356796548352985e-190

-1.886201134953409e-188

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	156	200
1	160	200
2	160	200

end0.0ms

sample1.1min

Algorithm

intervals

Results

Details

sample1.2min

simplify45.0ms

prune11.0ms

localize65.0ms

rewrite35.0ms

series206.0ms

simplify40.0ms

prune467.0ms

localize68.0ms

rewrite36.0ms

series202.0ms

simplify85.0ms

prune375.0ms

localize73.0ms

rewrite36.0ms

series205.0ms

simplify40.0ms

prune434.0ms

localize73.0ms

rewrite35.0ms

series203.0ms

simplify41.0ms

prune166.0ms

regimes6.6s

bsearch1.3s

simplify4.0ms

end0.0ms

sample1.1min

Profiling