Details

analyze8.3s (5.5%)

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)

sample29.7s (19.8%)

Results

26.3s	66399×	body	128	invalid
3.2s	8256×	body	128	valid

Compiler

Compiled 335 to 191 computations (43% saved)

simplify22.0ms (0%)

Algorithm

1×	egg-herbie

Rules

555×	`distribute-rgt-in_binary64`
517×	`cancel-sign-sub-inv_binary64`
396×	`fma-neg_binary64`
217×	`distribute-rgt-neg-in_binary64`
212×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	142
1	182	136
2	528	132
3	2607	132

Stop Event

1×	node limit

Counts

1 → 2

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

27.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	27.4b	(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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0))))))))
	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 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

▶

27.4b

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

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

localize60.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.7b	(fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0)))))
✓	7.0b	(fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0)))))))
✓	7.2b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0))))))
✓	8.4b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))

series1.9s (1.3%)

Counts

4 → 648

Calls

4 calls:

876.0ms	(fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0)))))))
621.0ms	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0))))))
384.0ms	(fma.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.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 i y1) (*.f64 b y0)))))
55.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))

rewrite55.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
260×	`prod-diff_binary64`
198×	`log-prod_binary64`
150×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	286
1	1242	286

Stop Event

1×	node limit

Counts

4 → 44

Calls

4 calls:

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

simplify509.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

938×	`associate-+r+_binary64`
304×	`*-commutative_binary64`
236×	`sub-neg_binary64`
218×	`associate--r+_binary64`
218×	`associate--l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1622	92069

Stop Event

1×	node limit

Counts

692 → 468

prune1.4s (1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	450	18	468
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	452	18	470

Error

6.8b

Counts

470 → 18

Alt Table

Status	Error	Program
	42.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 (.f64 k y4) y) (.f64 a (.f64 z t)))) (+.f64 (.f64 (.f64 y4 t) j) (+.f64 (.f64 k (.f64 z y0)) (.f64 a (*.f64 x y))))))))
	47.2b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 a (.f64 y1 y3)) (.f64 c (.f64 i t)))) (+.f64 (.f64 k (.f64 i y1)) (+.f64 (.f64 c (.f64 y0 y3)) (.f64 a (*.f64 t b)))))))
	47.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y4 y)) (.f64 y1 (.f64 a z))) (+.f64 (.f64 c (.f64 y0 z)) (.f64 y (*.f64 a y5))))))
	50.6b	(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)) (cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)))))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))))
	45.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (+.f64 (.f64 y4 (.f64 j b)) (+.f64 (.f64 a (.f64 y5 y2)) (.f64 c (.f64 i z)))) (+.f64 (.f64 a (.f64 b z)) (+.f64 (.f64 c (.f64 y4 y2)) (.f64 i (*.f64 j y5)))))))
	42.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 i (.f64 y1 j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x))
	31.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 i (.f64 y y5)))))))))))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y4 (.f64 y b))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z))))))))))))))
	45.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y (-.f64 (+.f64 (.f64 (.f64 b a) x) (+.f64 (.f64 c (.f64 y4 y3)) (.f64 k (.f64 i y5)))) (+.f64 (.f64 c (.f64 i x)) (+.f64 (.f64 k (.f64 b y4)) (.f64 a (*.f64 y3 y5)))))))
	40.7b	(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)) (.f64 j (+.f64 (.f64 (.f64 y4 t) b) (-.f64 (.f64 y1 (.f64 i x)) (+.f64 (.f64 (.f64 y0 b) x) (.f64 i (*.f64 t y5))))))))
	31.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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 y (.f64 i y5)))))))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y4 (.f64 y b))) (.f64 k (.f64 y1 (.f64 i z))))))))))))
	46.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y4 (-.f64 (+.f64 (.f64 t (.f64 b j)) (.f64 c (.f64 y y3))) (+.f64 (.f64 k (.f64 y b)) (.f64 c (*.f64 t y2))))))
	39.4b	(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)) (.f64 (-.f64 (+.f64 (.f64 k (.f64 y y5)) (+.f64 (.f64 y1 (.f64 j x)) (.f64 c (.f64 t z)))) (+.f64 (.f64 c (.f64 y x)) (+.f64 (.f64 t (.f64 j y5)) (.f64 k (*.f64 y1 z))))) i)))
	27.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))))
▶	27.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0))))))))
	46.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 k (.f64 i y)) (.f64 a (.f64 t y2))) (+.f64 (.f64 a (.f64 y y3)) (.f64 i (*.f64 t j)))) y5))
	40.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 x y2)) (.f64 a (.f64 (.f64 b y) x))) (+.f64 (+.f64 (.f64 k (.f64 (.f64 y0 b) z)) (.f64 y1 (.f64 (.f64 i j) x))) (+.f64 (.f64 a (.f64 (.f64 y1 y3) z)) (+.f64 (.f64 (.f64 c i) (.f64 z t)) (.f64 (.f64 k i) (.f64 y y5))))))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 z y3)) (.f64 y (.f64 a (.f64 y3 y5)))) (+.f64 (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (.f64 (.f64 y0 j) (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 x y))) (+.f64 (.f64 a (.f64 (.f64 z b) t)) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 (.f64 k y1) (.f64 z i)))))))))
	45.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (.f64 y1 (.f64 a x))) (+.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 t y5)))) y2)))
	35.1b	(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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (-.f64 (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (.f64 k (.f64 y (.f64 i y5)))))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (.f64 k (.f64 y4 (.f64 y b))))))))))

Compiler

Compiled 57663 to 5570 computations (90.3% saved)

localize62.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.7b	(fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))))
✓	7.2b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))
	8.4b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))
✓	10.4b	(.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (*.f64 c y4)))

series1.1s (0.7%)

Counts

3 → 456

Calls

3 calls:

634.0ms

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

360.0ms

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

59.0ms

(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

rewrite43.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

587×	`log1p-expm1-u_binary64`
587×	`expm1-log1p-u_binary64`
234×	`prod-diff_binary64`
199×	`log-prod_binary64`
135×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	176
1	1225	176

Stop Event

1×	node limit

Counts

3 → 38

Calls

3 calls:

41.0ms

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

41.0ms

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

41.0ms

(*.f64 (-.f64 (*.f64 y2 t) (*.f64 y3 y)) (-.f64 (*.f64 a y5) (*.f64 c y4)))

simplify398.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

484×	`fma-def_binary64`
481×	`+-commutative_binary64`
408×	`associate-+r+_binary64`
391×	`sub-neg_binary64`
254×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	912	46373
1	4446	46373

Stop Event

1×	node limit

Counts

494 → 289

prune1.1s (0.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	310	7	317
Fresh	5	12	17
Picked	1	0	1
Done	0	0	0
Total	316	19	335

Error

6.8b

Counts

335 → 19

Alt Table

Status	Error	Program
	42.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 (.f64 k y4) y) (.f64 a (.f64 z t)))) (+.f64 (.f64 (.f64 y4 t) j) (+.f64 (.f64 k (.f64 z y0)) (.f64 a (*.f64 x y))))))))
	47.2b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 a (.f64 y1 y3)) (.f64 c (.f64 i t)))) (+.f64 (.f64 k (.f64 i y1)) (+.f64 (.f64 c (.f64 y0 y3)) (.f64 a (*.f64 t b)))))))
	47.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y4 y)) (.f64 y1 (.f64 a z))) (+.f64 (.f64 c (.f64 y0 z)) (.f64 y (*.f64 a y5))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (.f64 i (-.f64 (fma.f64 k (.f64 y5 y) (fma.f64 y1 (.f64 j x) (.f64 c (.f64 t z)))) (fma.f64 c (.f64 y x) (fma.f64 t (.f64 y5 j) (.f64 k (.f64 z y1))))))))
	46.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 k (.f64 i y)) (.f64 a (.f64 t y2))) (+.f64 (.f64 a (.f64 y y3)) (.f64 i (*.f64 t j)))) y5))
	42.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (neg.f64 (.f64 y2 (-.f64 (.f64 y1 (.f64 a x)) (.f64 (.f64 c y0) x))))))
	31.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 i (.f64 y y5)))))))))))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y4 (.f64 y b))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z))))))))))))))
	42.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 i (.f64 y1 j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x))
	45.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y (-.f64 (+.f64 (.f64 (.f64 b a) x) (+.f64 (.f64 c (.f64 y4 y3)) (.f64 k (.f64 i y5)))) (+.f64 (.f64 c (.f64 i x)) (+.f64 (.f64 k (.f64 b y4)) (.f64 a (*.f64 y3 y5)))))))
	29.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (neg.f64 c) (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))
	40.7b	(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)) (.f64 j (+.f64 (.f64 (.f64 y4 t) b) (-.f64 (.f64 y1 (.f64 i x)) (+.f64 (.f64 (.f64 y0 b) x) (.f64 i (*.f64 t y5))))))))
	35.1b	(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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (-.f64 (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (.f64 k (.f64 y (.f64 i y5)))))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (.f64 k (.f64 y4 (.f64 y b))))))))))
	29.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 y2 x))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 k (.f64 y0 (.f64 b z))) (+.f64 (.f64 i (.f64 y1 (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 i (.f64 y y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 i (.f64 y1 z))) (.f64 k (.f64 y4 (*.f64 y b)))))))))))))
▶	27.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4)))) 3) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0))))))))
	45.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (+.f64 (.f64 y4 (.f64 j b)) (+.f64 (.f64 a (.f64 y5 y2)) (.f64 c (.f64 i z)))) (+.f64 (.f64 a (.f64 b z)) (+.f64 (.f64 c (.f64 y4 y2)) (.f64 i (*.f64 j y5)))))))
	47.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (.f64 (neg.f64 k) y)) (-.f64 (.f64 y4 b) (.f64 y5 i)) (fma.f64 (-.f64 (.f64 y x) (.f64 t z)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y1 i) (.f64 y0 b))))) 3)))))
	40.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 x y2)) (.f64 a (.f64 (.f64 b y) x))) (+.f64 (+.f64 (.f64 k (.f64 (.f64 y0 b) z)) (.f64 y1 (.f64 (.f64 i j) x))) (+.f64 (.f64 a (.f64 (.f64 y1 y3) z)) (+.f64 (.f64 (.f64 c i) (.f64 z t)) (.f64 (.f64 k i) (.f64 y y5))))))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 z y3)) (.f64 y (.f64 a (.f64 y3 y5)))) (+.f64 (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (.f64 (.f64 y0 j) (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 x y))) (+.f64 (.f64 a (.f64 (.f64 z b) t)) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 (.f64 k y1) (.f64 z i)))))))))
	45.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (.f64 y1 (.f64 a x))) (+.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 t y5)))) y2)))
	29.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (neg.f64 (.f64 (-.f64 (.f64 a y5) (.f64 c y4)) (.f64 y y3))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))

Compiler

Compiled 36701 to 4435 computations (87.9% saved)

localize71.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	6.7b	(fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))))
	7.2b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))
	8.4b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))
	10.4b	(.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (*.f64 c y4)))

prune1.1s (0.7%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	317	0	317
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	317	19	336

Error

6.8b

Counts

336 → 19

Alt Table

Status	Error	Program
	42.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 (.f64 k y4) y) (.f64 a (.f64 z t)))) (+.f64 (.f64 (.f64 y4 t) j) (+.f64 (.f64 k (.f64 z y0)) (.f64 a (*.f64 x y))))))))
	47.2b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 a (.f64 y1 y3)) (.f64 c (.f64 i t)))) (+.f64 (.f64 k (.f64 i y1)) (+.f64 (.f64 c (.f64 y0 y3)) (.f64 a (*.f64 t b)))))))
	47.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y4 y)) (.f64 y1 (.f64 a z))) (+.f64 (.f64 c (.f64 y0 z)) (.f64 y (*.f64 a y5))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (.f64 i (-.f64 (fma.f64 k (.f64 y5 y) (fma.f64 y1 (.f64 j x) (.f64 c (.f64 t z)))) (fma.f64 c (.f64 y x) (fma.f64 t (.f64 y5 j) (.f64 k (.f64 z y1))))))))
	46.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 k (.f64 i y)) (.f64 a (.f64 t y2))) (+.f64 (.f64 a (.f64 y y3)) (.f64 i (*.f64 t j)))) y5))
	42.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (neg.f64 (.f64 y2 (-.f64 (.f64 y1 (.f64 a x)) (.f64 (.f64 c y0) x))))))
	31.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 i (.f64 y y5)))))))))))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y4 (.f64 y b))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z))))))))))))))
	42.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 i (.f64 y1 j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x))
	45.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y (-.f64 (+.f64 (.f64 (.f64 b a) x) (+.f64 (.f64 c (.f64 y4 y3)) (.f64 k (.f64 i y5)))) (+.f64 (.f64 c (.f64 i x)) (+.f64 (.f64 k (.f64 b y4)) (.f64 a (*.f64 y3 y5)))))))
	29.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (neg.f64 c) (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))
	40.7b	(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)) (.f64 j (+.f64 (.f64 (.f64 y4 t) b) (-.f64 (.f64 y1 (.f64 i x)) (+.f64 (.f64 (.f64 y0 b) x) (.f64 i (*.f64 t y5))))))))
	35.1b	(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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (-.f64 (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (.f64 k (.f64 y (.f64 i y5)))))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (.f64 k (.f64 y4 (.f64 y b))))))))))
	29.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 y2 x))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 k (.f64 y0 (.f64 b z))) (+.f64 (.f64 i (.f64 y1 (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 i (.f64 y y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 i (.f64 y1 z))) (.f64 k (.f64 y4 (*.f64 y b)))))))))))))
✓	27.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4)))) 3) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0))))))))
	45.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (+.f64 (.f64 y4 (.f64 j b)) (+.f64 (.f64 a (.f64 y5 y2)) (.f64 c (.f64 i z)))) (+.f64 (.f64 a (.f64 b z)) (+.f64 (.f64 c (.f64 y4 y2)) (.f64 i (*.f64 j y5)))))))
	47.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (.f64 (neg.f64 k) y)) (-.f64 (.f64 y4 b) (.f64 y5 i)) (fma.f64 (-.f64 (.f64 y x) (.f64 t z)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y1 i) (.f64 y0 b))))) 3)))))
	40.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 x y2)) (.f64 a (.f64 (.f64 b y) x))) (+.f64 (+.f64 (.f64 k (.f64 (.f64 y0 b) z)) (.f64 y1 (.f64 (.f64 i j) x))) (+.f64 (.f64 a (.f64 (.f64 y1 y3) z)) (+.f64 (.f64 (.f64 c i) (.f64 z t)) (.f64 (.f64 k i) (.f64 y y5))))))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 z y3)) (.f64 y (.f64 a (.f64 y3 y5)))) (+.f64 (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (.f64 (.f64 y0 j) (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 x y))) (+.f64 (.f64 a (.f64 (.f64 z b) t)) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 (.f64 k y1) (.f64 z i)))))))))
	45.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (.f64 y1 (.f64 a x))) (+.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 t y5)))) y2)))
▶	29.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (neg.f64 (.f64 (-.f64 (.f64 a y5) (.f64 c y4)) (.f64 y y3))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))

Compiler

Compiled 37542 to 5028 computations (86.6% saved)

localize54.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	6.7b	(fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))))
	7.2b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))
	8.4b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0)))
✓	10.1b	(.f64 (-.f64 (.f64 a y5) (.f64 c y4)) (.f64 y y3))

series35.0ms (0%)

Counts

1 → 56

Calls

1 calls:

35.0ms

(*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))

rewrite61.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

456×	`fma-def_binary64`
240×	`expm1-udef_binary64`
240×	`log1p-udef_binary64`
194×	`fma-neg_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	259	16
2	3455	16

Stop Event

1×	node limit

Counts

1 → 69

Calls

1 calls:

59.0ms

(*.f64 (-.f64 (*.f64 a y5) (*.f64 c y4)) (*.f64 y y3))

simplify149.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

845×	`fma-neg_binary64`
842×	`fma-def_binary64`
344×	`cancel-sign-sub-inv_binary64`
251×	`distribute-rgt-neg-in_binary64`
247×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	1100
1	80	836
2	226	836
3	544	836
4	890	836
5	1536	836
6	2414	836
7	3059	836
8	3687	836
9	3979	836
10	4214	836
11	4246	836
12	4246	836
13	4438	836
14	4526	836
15	4526	836
16	4526	836
17	4526	836
18	4526	836

Stop Event

1×

saturated

Counts

125 → 78

prune1.2s (0.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	372	2	374
Fresh	1	16	17
Picked	1	0	1
Done	1	0	1
Total	375	18	393

Error

6.8b

Counts

393 → 18

Alt Table

Status	Error	Program
	42.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 (.f64 k y4) y) (.f64 a (.f64 z t)))) (+.f64 (.f64 (.f64 y4 t) j) (+.f64 (.f64 k (.f64 z y0)) (.f64 a (*.f64 x y))))))))
	47.2b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 a (.f64 y1 y3)) (.f64 c (.f64 i t)))) (+.f64 (.f64 k (.f64 i y1)) (+.f64 (.f64 c (.f64 y0 y3)) (.f64 a (*.f64 t b)))))))
	47.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y4 y)) (.f64 y1 (.f64 a z))) (+.f64 (.f64 c (.f64 y0 z)) (.f64 y (*.f64 a y5))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (.f64 i (-.f64 (fma.f64 k (.f64 y5 y) (fma.f64 y1 (.f64 j x) (.f64 c (.f64 t z)))) (fma.f64 c (.f64 y x) (fma.f64 t (.f64 y5 j) (.f64 k (.f64 z y1))))))))
	46.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 k (.f64 i y)) (.f64 a (.f64 t y2))) (+.f64 (.f64 a (.f64 y y3)) (.f64 i (*.f64 t j)))) y5))
	42.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (neg.f64 (.f64 y2 (-.f64 (.f64 y1 (.f64 a x)) (.f64 (.f64 c y0) x))))))
	31.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 i (.f64 y y5)))))))))))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y4 (.f64 y b))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z))))))))))))))
	42.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 i (.f64 y1 j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x))
	29.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (neg.f64 c) (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0))))))))
	40.7b	(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)) (.f64 j (+.f64 (.f64 (.f64 y4 t) b) (-.f64 (.f64 y1 (.f64 i x)) (+.f64 (.f64 (.f64 y0 b) x) (.f64 i (*.f64 t y5))))))))
	47.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (cbrt.f64 (pow.f64 (fma.f64 (fma.f64 t j (.f64 (neg.f64 k) y)) (-.f64 (.f64 y4 b) (.f64 y5 i)) (fma.f64 (-.f64 (.f64 y x) (.f64 t z)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y1 i) (.f64 y0 b))))) 3)))))
	29.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (neg.f64 (.f64 y3 (.f64 y4 (.f64 y (neg.f64 c))))) (fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (fma.f64 y0 c (.f64 (neg.f64 a) y1)) (fma.f64 (-.f64 (.f64 j t) (.f64 k y)) (-.f64 (.f64 b y4) (.f64 i y5)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (.f64 i c)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (*.f64 b y0))))))))
	35.1b	(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 y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (-.f64 (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (.f64 k (.f64 y (.f64 i y5)))))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (.f64 k (.f64 y4 (.f64 y b))))))))))
	29.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 a y5) (.f64 c y4))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 y2 x))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (+.f64 (.f64 k (.f64 y0 (.f64 b z))) (+.f64 (.f64 i (.f64 y1 (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 i (.f64 y y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 b (.f64 j x))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 i (.f64 y1 z))) (.f64 k (.f64 y4 (*.f64 y b)))))))))))))
	45.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (+.f64 (neg.f64 (.f64 (-.f64 (.f64 a y5) (.f64 c y4)) (.f64 y y3))) (.f64 y (-.f64 (fma.f64 a (.f64 b x) (.f64 k (.f64 y5 i))) (fma.f64 c (.f64 i x) (.f64 k (*.f64 y4 b)))))))
	45.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (+.f64 (.f64 y4 (.f64 j b)) (+.f64 (.f64 a (.f64 y5 y2)) (.f64 c (.f64 i z)))) (+.f64 (.f64 a (.f64 b z)) (+.f64 (.f64 c (.f64 y4 y2)) (.f64 i (*.f64 j y5)))))))
	40.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 x y2)) (.f64 a (.f64 (.f64 b y) x))) (+.f64 (+.f64 (.f64 k (.f64 (.f64 y0 b) z)) (.f64 y1 (.f64 (.f64 i j) x))) (+.f64 (.f64 a (.f64 (.f64 y1 y3) z)) (+.f64 (.f64 (.f64 c i) (.f64 z t)) (.f64 (.f64 k i) (.f64 y y5))))))) (+.f64 (+.f64 (.f64 (.f64 c y0) (.f64 z y3)) (.f64 y (.f64 a (.f64 y3 y5)))) (+.f64 (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (.f64 (.f64 y0 j) (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 x y))) (+.f64 (.f64 a (.f64 (.f64 z b) t)) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 (.f64 k y1) (.f64 z i)))))))))
	45.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (.f64 y1 (.f64 a x))) (+.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 t y5)))) y2)))

Compiler

Compiled 39692 to 3699 computations (90.7% saved)

regimes1.7min (68.5%)

Compiler: Compiled 1144118 to 622344 computations (45.6% saved)

Details

analyze8.3s (5.5%)

sample29.7s (19.8%)

simplify22.0ms (0%)

prune7.0ms (0%)

localize60.0ms (0%)

series1.9s (1.3%)

rewrite55.0ms (0%)

simplify509.0ms (0.3%)

prune1.4s (1%)

localize62.0ms (0%)

series1.1s (0.7%)

rewrite43.0ms (0%)

simplify398.0ms (0.3%)

prune1.1s (0.7%)

localize71.0ms (0%)

prune1.1s (0.7%)

localize54.0ms (0%)

series35.0ms (0%)

rewrite61.0ms (0%)

simplify149.0ms (0.1%)

prune1.2s (0.8%)

regimes1.7min (68.5%)

Profiling