Details

sample588.0ms

Algorithm

intervals

Results

387.0ms

2238×

body

valid

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

prune12.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: 29.0b

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
16×	`frac-times`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`*-commutative`

Counts

4 → 52

Calls

4 calls:

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

series706.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify109.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	816	840
1	3595	840
2	5003	840

prune990.0ms

Filtered

64 candidates to 48 candidates (75.0%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	48	16	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	16	65

Merged error: 19.4b

Counts

65 → 16

localize69.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
16×	`frac-times`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`*-commutative`

Counts

4 → 52

Calls

4 calls:

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

series657.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify90.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	812	840
1	3593	840
2	5001	840

prune1.3s

Filtered

64 candidates to 48 candidates (75.0%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	57	7	64
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	60	20	80

Merged error: 15.9b

Counts

80 → 20

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
12×	`frac-times`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
5×	`*-commutative`
2×	`associate-r`

Counts

4 → 44

Calls

4 calls:

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

series595.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify76.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	686	668
1	2954	664
2	5001	664

prune1.1s

Filtered

56 candidates to 42 candidates (75.0%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	57	19	76

Merged error: 15.9b

Counts

76 → 19

localize74.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.9b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
16×	`frac-times`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`*-commutative`

Counts

4 → 52

Calls

4 calls:

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

series832.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify101.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	810	840
1	3583	840
2	5001	840

prune862.0ms

Filtered

64 candidates to 48 candidates (75.0%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	59	5	64
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	62	21	83

Merged error: 15.0b

Counts

83 → 21

regimes6.6s

bsearch3.5s

Steps

Iters	Range		Point
9	30286104924052.277	3.4191798241588166e+21	1.3765287488146502e+17
7	1.3490154093594275e-63	2.5392435832142485e-62	5.951768774548828e-63
6	1.2924649552499913e-140	6.461768439456632e-140	1.3492379264584805e-140
5	1.0902485458186066e-198	2.209396028088546e-198	1.97017648335663e-198
1	-5.402579827826526e-270	-4.942677307436567e-270	-5.287604197729036e-270
7	-1.8126017363889948e-90	-2.8156072284101994e-92	-2.0574066871543397e-91
2	-9.181783264879216e-64	-7.901937809204076e-64	-8.06191849116347e-64
9	-1.517936278709025e+37	-2.7369941607692377e+30	-1.2900658241513179e+35

simplify8.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	264	445
1	282	445
2	283	445
3	283	445

end0.0ms

sample17.8s

Algorithm

intervals

Results

12.2s

71234×

body

valid