Details

analyze6.9s (10.6%)

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)

sample986.0ms (1.5%)

Algorithm

1×

intervals

Results

538.0ms	2077×	body	128	invalid
60.0ms	256×	body	128	valid

Compiler

Compiled 239 to 143 computations (40.2% saved)

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

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

28.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	28.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))))))))
▶	28.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

28.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))))))))

▶

28.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)

localize63.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	9.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
✓	10.1b	(.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)))
✓	12.4b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

series243.0ms (0.4%)

Counts

4 → 384

Calls

4 calls:

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

rewrite43.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:

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

simplify241.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

762×	`associate-l_binary64`
366×	`distribute-rgt-in_binary64`
359×	`distribute-lft-in_binary64`
352×	`fma-def_binary64`
250×	`*-commutative_binary64`

Counts

520 → 279

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	511	18648
1	1478	18276
2	5208	18276

prune1.7s (2.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	258	21	279
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	259	22	281

Error

16.4b

Counts

281 → 22

Alt Table

Status	Error	Program
	31.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 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))))
	28.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))))))))
	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)))) (.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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	30.6b	(+.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))))
	29.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)))) (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))))
	31.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)))) (.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)))
	28.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 (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (cbrt.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.6b	(+.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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.3b	(+.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))))
	31.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (.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.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 (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (cbrt.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.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 (fma.f64 y4 b (neg.f64 (.f64 i y5))) (-.f64 (.f64 t j) (.f64 y k))) (.f64 (fma.f64 (neg.f64 i) y5 (.f64 i y5)) (-.f64 (.f64 t j) (.f64 y k))))) (.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))))
	30.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)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (.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)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.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)))))
	29.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 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))))
▶	27.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.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 (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0)))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))))
	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)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (fma.f64 k (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 y5 (.f64 j y3)))) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (.f64 k (.f64 y0 (*.f64 y5 y2))))))
	28.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 (.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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	44.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)))) (/.f64 (.f64 (.f64 (fma.f64 y4 c (.f64 y5 a)) (-.f64 (.f64 y4 c) (.f64 y5 a))) (.f64 (fma.f64 y y3 (.f64 t y2)) (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (fma.f64 y4 c (.f64 y5 a)) (fma.f64 y y3 (.f64 t y2))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.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 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.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 35707 to 4880 computations (86.3% saved)

localize86.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	9.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
	10.1b	(.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)))

series65.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

65.0ms

(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))

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 y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-def_binary64`
723×	`distribute-rgt-in_binary64`
687×	`distribute-lft-in_binary64`
252×	`cancel-sign-sub-inv_binary64`
191×	`associate-r_binary64`

Counts

130 → 77

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	4662
1	392	4566
2	1633	4266
3	5318	4266

prune2.4s (3.7%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	272	13	285
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	277	30	307

Error

12.8b

Counts

307 → 30

Alt Table

Status	Error	Program
	27.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 (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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.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))))))))
	28.9b	(+.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.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)))) (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))))
	31.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)))) (.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)))
	28.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 (.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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
▶	27.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 j y3)))))))
	28.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 (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (cbrt.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.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.f64 (.f64 j x) (.f64 k z)))) (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.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 (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.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))))
	31.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (.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.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 (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (cbrt.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))))
	30.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.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 (fma.f64 y4 b (neg.f64 (.f64 i y5))) (-.f64 (.f64 t j) (.f64 y k))) (.f64 (fma.f64 (neg.f64 i) y5 (.f64 i y5)) (-.f64 (.f64 t j) (.f64 y k))))) (.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))))
	30.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)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (.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)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.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)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 y1 a)) z)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.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 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.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.9b	(+.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 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.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)))))
	29.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 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.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 y3 z))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (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))))
	31.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.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 (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0)))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))))
	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)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (fma.f64 k (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 y5 (.f64 j y3)))) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (.f64 k (.f64 y0 (*.f64 y5 y2))))))
	44.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)))) (/.f64 (.f64 (.f64 (fma.f64 y4 c (.f64 y5 a)) (-.f64 (.f64 y4 c) (.f64 y5 a))) (.f64 (fma.f64 y y3 (.f64 t y2)) (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (fma.f64 y4 c (.f64 y5 a)) (fma.f64 y y3 (.f64 t y2))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.9b	(+.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 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.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 (.f64 (.f64 x y2) (.f64 x y2)) (.f64 (.f64 z y3) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))) (+.f64 (.f64 x y2) (.f64 z y3)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 43309 to 6228 computations (85.6% saved)

localize73.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series58.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

58.0ms

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

rewrite9.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:

7.0ms

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

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

prune3.0s (4.6%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	282	7	289
Fresh	3	26	29
Picked	1	0	1
Done	0	0	0
Total	286	33	319

Error

10.0b

Counts

319 → 33

Alt Table

Status	Error	Program
	31.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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))))))))
	27.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 (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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 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))) (.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
▶	26.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	31.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.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)))) (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))))
	31.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)))) (.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)))
	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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 y3 z))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0)))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))))
	44.0b	(+.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (cbrt.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.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.f64 (.f64 j x) (.f64 k z)))) (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.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 (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.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))))
	31.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (.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.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 (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (cbrt.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.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 (fma.f64 y4 b (neg.f64 (.f64 i y5))) (-.f64 (.f64 t j) (.f64 y k))) (.f64 (fma.f64 (neg.f64 i) y5 (.f64 i y5)) (-.f64 (.f64 t j) (.f64 y k))))) (.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))))
	30.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)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (.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 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	44.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)))) (/.f64 (.f64 (.f64 (fma.f64 y4 c (.f64 y5 a)) (-.f64 (.f64 y4 c) (.f64 y5 a))) (.f64 (fma.f64 y y3 (.f64 t y2)) (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (fma.f64 y4 c (.f64 y5 a)) (fma.f64 y y3 (.f64 t y2))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.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)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 y1 a)) z)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.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 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.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.9b	(+.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 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.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)))))
	31.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 y (.f64 a (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	29.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 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))))
	30.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (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))))
	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)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (fma.f64 k (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 y5 (.f64 j y3)))) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (.f64 k (.f64 y0 (*.f64 y5 y2))))))
	29.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 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (.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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.9b	(+.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 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.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 (.f64 (.f64 x y2) (.f64 x y2)) (.f64 (.f64 z y3) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))) (+.f64 (.f64 x y2) (.f64 z y3)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 47461 to 7017 computations (85.2% saved)

localize107.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.4b	(.f64 k (.f64 y4 (*.f64 y b)))
	6.8b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
	9.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	10.1b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

series17.0ms (0%)

Counts

1 → 0

Calls

1 calls:

17.0ms

(*.f64 k (*.f64 y4 (*.f64 y b)))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
10×	`pow1_binary64`
6×	`cbrt-unprod_binary64`
6×	`prod-exp_binary64`

Counts

1 → 23

Calls

1 calls:

6.0ms

(*.f64 k (*.f64 y4 (*.f64 y b)))

simplify60.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

804×	`unswap-sqr_binary64`
580×	`associate-/l/_binary64`
366×	`associate-/l*_binary64`
342×	`*-commutative_binary64`
291×	`associate-/r/_binary64`

Counts

23 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	350
1	128	266
2	484	266
3	789	266
4	1026	266
5	1485	266
6	2477	266
7	4512	266
8	5036	266

prune2.1s (3.3%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	245	2	247
Fresh	1	31	32
Picked	1	0	1
Done	0	0	0
Total	247	33	280

Error

9.8b

Counts

280 → 33

Alt Table

Status	Error	Program
	31.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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))))))))
	27.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 (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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 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))) (.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.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)))) (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))))
	31.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)))) (.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)))
	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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 y3 z))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0)))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))) (cbrt.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))))
	44.0b	(+.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (cbrt.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.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.f64 (.f64 j x) (.f64 k z)))) (sqrt.f64 (.f64 (-.f64 (.f64 b y0) (.f64 i y1)) (-.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.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 (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.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))))
	31.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (.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.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 (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (cbrt.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.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 (fma.f64 y4 b (neg.f64 (.f64 i y5))) (-.f64 (.f64 t j) (.f64 y k))) (.f64 (fma.f64 (neg.f64 i) y5 (.f64 i y5)) (-.f64 (.f64 t j) (.f64 y k))))) (.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))))
	30.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)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (.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))))
	31.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)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 y1 a)) z)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.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 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.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))))
	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)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c y0) (.f64 y1 a)) (-.f64 (.f64 x y2) (.f64 y3 z))) 3))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	27.9b	(+.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 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.9b	(+.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 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.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)))))
	31.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 y (.f64 a (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	29.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 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))))
	26.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 j y3)))))))
	30.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (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))))
	31.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 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	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)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (fma.f64 k (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 y5 (.f64 j y3)))) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (.f64 k (.f64 y0 (*.f64 y5 y2))))))
	29.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 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	28.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 (.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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	44.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)))) (/.f64 (.f64 (.f64 (fma.f64 y4 c (.f64 y5 a)) (-.f64 (.f64 y4 c) (.f64 y5 a))) (.f64 (fma.f64 y y3 (.f64 t y2)) (-.f64 (.f64 t y2) (.f64 y y3)))) (.f64 (fma.f64 y4 c (.f64 y5 a)) (fma.f64 y y3 (.f64 t y2))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.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 (.f64 (.f64 x y2) (.f64 x y2)) (.f64 (.f64 z y3) (.f64 z y3))) (-.f64 (.f64 y0 c) (.f64 y1 a))) (+.f64 (.f64 x y2) (.f64 z y3)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y 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 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 39558 to 4511 computations (88.6% saved)

regimes19.2s (29.7%)

Accuracy

Total 11.3b remaining (51.6%)

Threshold costs 0b (0%)

Counts

188 → 3

Compiler

Compiled 424168 to 227486 computations (46.4% saved)

bsearch40.0ms (0.1%)

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

simplify118.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

407×	`distribute-rgt-neg-in_binary64`
376×	`neg-sub0_binary64`
375×	`neg-mul-1_binary64`
276×	`distribute-lft-neg-in_binary64`
249×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	133	848
1	307	846
2	462	846
3	643	846
4	848	846
5	1030	846
6	1264	846
7	1522	846
8	1762	846
9	1982	846
10	2170	846
11	2213	846
12	2286	846
13	2475	846
14	2429	846
15	2561	846
16	2577	846
17	2577	846
18	2573	846

end4.0ms (0%)

Compiler: Compiled 581 to 120 computations (79.3% saved)

sample27.0s (41.7%)

Algorithm

1×

intervals

Results

17.1s	64265×	body	128	invalid
2.0s	8000×	body	128	valid

Compiler

Compiled 5068 to 2500 computations (50.7% saved)

Details

analyze6.9s (10.6%)

sample986.0ms (1.5%)

simplify44.0ms (0.1%)

prune8.0ms (0%)

localize63.0ms (0.1%)

series243.0ms (0.4%)

rewrite43.0ms (0.1%)

simplify241.0ms (0.4%)

prune1.7s (2.7%)

localize86.0ms (0.1%)

series65.0ms (0.1%)

rewrite10.0ms (0%)

simplify94.0ms (0.1%)

prune2.4s (3.7%)

localize73.0ms (0.1%)

series58.0ms (0.1%)

rewrite9.0ms (0%)

simplify93.0ms (0.1%)

prune3.0s (4.6%)

localize107.0ms (0.2%)

series17.0ms (0%)

rewrite8.0ms (0%)

simplify60.0ms (0.1%)

prune2.1s (3.3%)

regimes19.2s (29.7%)

bsearch40.0ms (0.1%)

simplify118.0ms (0.2%)

end4.0ms (0%)

sample27.0s (41.7%)

Profiling