Details

analyze10.6s (15.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

Compiler

Compiled 112 to 64 computations (42.9% saved)

sample1.9s (2.8%)

Algorithm

1×

intervals

Results

1.3s	2068×	body	128	invalid
135.0ms	256×	body	128	valid

Compiler

Compiled 239 to 143 computations (40.2% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

759×	`fma-neg_binary64`
565×	`distribute-rgt-in_binary64`
513×	`cancel-sign-sub-inv_binary64`
437×	`neg-mul-1_binary64`
217×	`distribute-rgt-neg-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	142
1	182	136
2	467	132
3	2132	132
4	4408	132
5	5050	132

prune22.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

26.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	26.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5))))))))
▶	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Status

Error

Program

26.3b

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

▶

26.3b

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

Compiler

Compiled 635 to 326 computations (48.7% saved)

localize130.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.8b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
✓	7.9b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
✓	9.0b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
✓	10.1b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series544.0ms (0.8%)

Counts

4 → 384

Calls

4 calls:

145.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
135.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
131.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
129.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite73.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64`
24×	`flip3--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`associate-r_binary64`

Counts

4 → 136

Calls

4 calls:

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

simplify480.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

762×	`associate-l_binary64`
365×	`distribute-rgt-in_binary64`
362×	`fma-def_binary64`
359×	`distribute-lft-in_binary64`
257×	`*-commutative_binary64`

Counts

520 → 292

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	529	18648
1	1483	18276
2	5219	18276

prune3.3s (4.9%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	267	25	292
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	269	25	294

Error

13.7b

Counts

294 → 25

Alt Table

Status	Error	Program
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 y3 j))))))
	37.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)) (-.f64 (.f64 y2 t) (.f64 y3 y))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	28.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	41.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (/.f64 (.f64 (.f64 (fma.f64 y1 i (.f64 y0 b)) (-.f64 (.f64 y0 b) (.f64 y1 i))) (.f64 (fma.f64 j x (.f64 k z)) (-.f64 (.f64 j x) (.f64 k z)))) (.f64 (fma.f64 y1 i (.f64 y0 b)) (fma.f64 j x (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	43.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
▶	25.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	44.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 k y2) 3) (pow.f64 (.f64 j y3) 3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 (.f64 k y2) (.f64 k y2)) (+.f64 (.f64 (.f64 j y3) (.f64 j y3)) (.f64 (.f64 k y2) (*.f64 j y3))))))
	30.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (+.f64 (.f64 (fma.f64 y4 y1 (neg.f64 (.f64 y0 y5))) (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (fma.f64 (neg.f64 y0) y5 (.f64 y0 y5)) (-.f64 (.f64 k y2) (*.f64 j y3)))))
	43.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	33.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (/.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 (.f64 y0 c) (.f64 y0 c)) (.f64 (.f64 y1 a) (.f64 y1 a)))) (+.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	25.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 y4 (.f64 (-.f64 (.f64 k y2) (*.f64 y3 j)) y1)))

Compiler

Compiled 37912 to 5452 computations (85.6% saved)

localize147.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	7.8b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
	7.9b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.0b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

series117.0ms (0.2%)

Counts

1 → 96

Calls

1 calls:

117.0ms

(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

14.0ms

(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))

simplify204.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary64`
743×	`distribute-rgt-in_binary64`
730×	`distribute-lft-in_binary64`
196×	`associate-l_binary64`
186×	`associate-r_binary64`

Counts

130 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	4662
1	404	4566
2	1622	4266
3	5466	4266

prune4.4s (6.5%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	284	9	293
Fresh	5	19	24
Picked	1	0	1
Done	0	0	0
Total	290	28	318

Error

11.7b

Counts

318 → 28

Alt Table

Status	Error	Program
▶	24.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	33.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (/.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 (.f64 y0 c) (.f64 y0 c)) (.f64 (.f64 y1 a) (.f64 y1 a)))) (+.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	24.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	25.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 y3 j))))))
	37.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)) (-.f64 (.f64 y2 t) (.f64 y3 y))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	24.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	41.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (/.f64 (.f64 (.f64 (fma.f64 y1 i (.f64 y0 b)) (-.f64 (.f64 y0 b) (.f64 y1 i))) (.f64 (fma.f64 j x (.f64 k z)) (-.f64 (.f64 j x) (.f64 k z)))) (.f64 (fma.f64 y1 i (.f64 y0 b)) (fma.f64 j x (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	43.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	44.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 k y2) 3) (pow.f64 (.f64 j y3) 3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 (.f64 k y2) (.f64 k y2)) (+.f64 (.f64 (.f64 j y3) (.f64 j y3)) (.f64 (.f64 k y2) (*.f64 j y3))))))
	28.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (+.f64 (.f64 (fma.f64 y4 y1 (neg.f64 (.f64 y0 y5))) (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (fma.f64 (neg.f64 y0) y5 (.f64 y0 y5)) (-.f64 (.f64 k y2) (*.f64 j y3)))))
	30.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (neg.f64 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 k y)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 y4 (.f64 (-.f64 (.f64 k y2) (*.f64 y3 j)) y1)))
	42.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (.f64 k (.f64 y (.f64 i y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))

Compiler

Compiled 43723 to 6145 computations (85.9% saved)

localize78.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.0b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
	7.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	7.9b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.0b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

series61.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

60.0ms

(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

8.0ms

(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))

simplify99.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-def_binary64`
719×	`distribute-rgt-in_binary64`
693×	`distribute-lft-in_binary64`
228×	`cancel-sign-sub-inv_binary64`
195×	`associate-l_binary64`

Counts

130 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	138	4662
1	404	4566
2	1604	4266
3	5265	4266

prune2.7s (4%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	285	10	295
Fresh	2	25	27
Picked	1	0	1
Done	0	0	0
Total	288	35	323

Error

8.9b

Counts

323 → 35

Alt Table

Status	Error	Program
▶	23.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 a (.f64 (-.f64 (.f64 y x) (.f64 t z)) b)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	29.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	44.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	28.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	24.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	25.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (neg.f64 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 k y)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 y3 j))))))
	37.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)) (-.f64 (.f64 y2 t) (.f64 y3 y))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	27.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	41.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (/.f64 (.f64 (.f64 (fma.f64 y1 i (.f64 y0 b)) (-.f64 (.f64 y0 b) (.f64 y1 i))) (.f64 (fma.f64 j x (.f64 k z)) (-.f64 (.f64 j x) (.f64 k z)))) (.f64 (fma.f64 y1 i (.f64 y0 b)) (fma.f64 j x (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	43.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	44.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 k y2) 3) (pow.f64 (.f64 j y3) 3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 (.f64 k y2) (.f64 k y2)) (+.f64 (.f64 (.f64 j y3) (.f64 j y3)) (.f64 (.f64 k y2) (*.f64 j y3))))))
	28.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (+.f64 (.f64 (fma.f64 y4 y1 (neg.f64 (.f64 y0 y5))) (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (fma.f64 (neg.f64 y0) y5 (.f64 y0 y5)) (-.f64 (.f64 k y2) (*.f64 j y3)))))
	30.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	24.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 y2 x)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 y2 x)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	33.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (/.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 (.f64 y0 c) (.f64 y0 c)) (.f64 (.f64 y1 a) (.f64 y1 a)))) (+.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	25.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 y4 (.f64 (-.f64 (.f64 k y2) (*.f64 y3 j)) y1)))
	42.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (.f64 k (.f64 y (.f64 i y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))

Compiler

Compiled 48696 to 7412 computations (84.8% saved)

localize80.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(.f64 y1 (.f64 y3 j))
	7.0b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
	7.7b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	9.0b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

series13.0ms (0%)

Counts

1 → 0

Calls

1 calls:

13.0ms

(*.f64 y1 (*.f64 y3 j))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 y1 (*.f64 y3 j))

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

580×	`log-div_binary64`
514×	`associate-/l*_binary64`
411×	`*-commutative_binary64`
409×	`associate-l_binary64`
339×	`cube-div_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	219
1	87	174
2	275	174
3	770	174
4	976	174
5	1185	174
6	1422	174
7	1902	174
8	3020	174
9	4714	174
10	4982	174

prune2.6s (3.7%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	233	4	237
Fresh	2	32	34
Picked	1	0	1
Done	0	0	0
Total	236	36	272

Error

7.9b

Counts

272 → 36

Alt Table

Status	Error	Program
	26.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	33.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (/.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 (.f64 y0 c) (.f64 y0 c)) (.f64 (.f64 y1 a) (.f64 y1 a)))) (+.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	44.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	28.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	25.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (-.f64 (.f64 y4 b) (.f64 y5 i))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (neg.f64 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 k y)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	23.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 y3 j))))))
	37.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)) (-.f64 (.f64 y2 t) (.f64 y3 y))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	27.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (cbrt.f64 (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	41.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (/.f64 (.f64 (.f64 (fma.f64 y1 i (.f64 y0 b)) (-.f64 (.f64 y0 b) (.f64 y1 i))) (.f64 (fma.f64 j x (.f64 k z)) (-.f64 (.f64 j x) (.f64 k z)))) (.f64 (fma.f64 y1 i (.f64 y0 b)) (fma.f64 j x (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	43.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	44.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 k y2) 3) (pow.f64 (.f64 j y3) 3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 (.f64 k y2) (.f64 k y2)) (+.f64 (.f64 (.f64 j y3) (.f64 j y3)) (.f64 (.f64 k y2) (*.f64 j y3))))))
	28.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (+.f64 (.f64 (fma.f64 y4 y1 (neg.f64 (.f64 y0 y5))) (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (fma.f64 (neg.f64 y0) y5 (.f64 y0 y5)) (-.f64 (.f64 k y2) (*.f64 j y3)))))
	30.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	24.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 y2 x)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 y2 x)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	26.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (-.f64 (.f64 y0 c) (.f64 y1 a))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	25.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	24.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 y2 t) (.f64 y3 y))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 (*.f64 y1 y3) j)))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 y4 (.f64 (-.f64 (.f64 k y2) (*.f64 y3 j)) y1)))
	42.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))
	27.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (.f64 k (.f64 y (.f64 i y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (.f64 y3 j))))))

Compiler

Compiled 38517 to 4566 computations (88.1% saved)

regimes12.2s (17.7%)

Accuracy

Total 11.6b remaining (55.2%)

Threshold costs 0b (0%)

Counts

177 → 3

Compiler

Compiled 390355 to 211591 computations (45.8% saved)

bsearch34.0ms (0%)

Compiler: Compiled 111 to 63 computations (43.2% saved)

simplify123.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

431×	`distribute-rgt-neg-in_binary64`
324×	`neg-sub0_binary64`
324×	`neg-mul-1_binary64`
284×	`distribute-lft-neg-in_binary64`
238×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	130	664
1	300	664
2	450	664
3	643	664
4	847	664
5	1012	664
6	1225	664
7	1471	664
8	1666	664
9	1859	664
10	1982	664
11	2087	664
12	2137	664
13	2261	664
14	2270	664
15	2403	664
16	2423	664
17	2434	664
18	2436	664
19	2436	664
20	2432	664

end2.0ms (0%)

Compiler: Compiled 459 to 115 computations (74.9% saved)

sample28.6s (41.6%)

Algorithm

1×

intervals

Results

18.3s	64803×	body	128	invalid
2.2s	8000×	body	128	valid

Compiler

Compiled 5305 to 2719 computations (48.7% saved)

Details

analyze10.6s (15.4%)

sample1.9s (2.8%)

simplify65.0ms (0.1%)

prune22.0ms (0%)

localize130.0ms (0.2%)

series544.0ms (0.8%)

rewrite73.0ms (0.1%)

simplify480.0ms (0.7%)

prune3.3s (4.9%)

localize147.0ms (0.2%)

series117.0ms (0.2%)

rewrite19.0ms (0%)

simplify204.0ms (0.3%)

prune4.4s (6.5%)

localize78.0ms (0.1%)

series61.0ms (0.1%)

rewrite10.0ms (0%)

simplify99.0ms (0.1%)

prune2.7s (4%)

localize80.0ms (0.1%)

series13.0ms (0%)

rewrite5.0ms (0%)

simplify72.0ms (0.1%)

prune2.6s (3.7%)

regimes12.2s (17.7%)

bsearch34.0ms (0%)

simplify123.0ms (0.2%)

end2.0ms (0%)

sample28.6s (41.6%)

Profiling