Details

analyze6.6s (4.4%)

Algorithm

1×

Search

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

Compiler

Compiled 112 to 64 computations (42.9% saved)

sample32.3s (21.5%)

Results

28.6s	66300×	body	128	invalid
3.4s	8256×	body	128	valid

Compiler

Compiled 335 to 191 computations (43% saved)

simplify46.0ms (0%)

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

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

28.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	28.2b	(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))))))))

Status

Error

Program

▶

28.2b

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

Compiler

Compiled 413 to 200 computations (51.6% saved)

localize56.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.3b	(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))))
✓	6.4b	(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)))))
✓	6.4b	(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))))))
✓	8.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

series1.4s (0.9%)

Counts

4 → 672

Calls

4 calls:

644.0ms	(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))))))
444.0ms	(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)))))
253.0ms	(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))))
58.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`flip--_binary64`
6×	`flip3--_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 64

Calls

4 calls:

8.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
0.0ms	(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)))))
0.0ms	(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))))))
0.0ms	(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))))

simplify974.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

608×	`fma-def_binary64`
605×	`+-commutative_binary64`
519×	`associate-+r+_binary64`
515×	`cancel-sign-sub-inv_binary64`
468×	`sub-neg_binary64`

Counts

736 → 438

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1235	65922
1	2873	65433
2	4774	65433
3	4932	65433

prune1.4s (0.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	423	15	438
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	424	15	439

Error

10.9b

Counts

439 → 15

Alt Table

Status	Error	Program
	42.9b	(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 (fma.f64 y4 (.f64 b t) (.f64 i (.f64 y1 x))) (fma.f64 y0 (.f64 b x) (.f64 i (*.f64 y5 t)))))))
	43.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)) (.f64 t (-.f64 (fma.f64 y4 (.f64 b j) (.f64 c (.f64 i z))) (fma.f64 i (.f64 y5 j) (.f64 (*.f64 b z) a))))))
	39.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)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 (-.f64 (.f64 a (.f64 y1 z)) (.f64 c (*.f64 y0 z))) y3))))
	39.5b	(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)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 y1 (*.f64 a x))) y2))))
	46.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 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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (-.f64 (.f64 b y4) (.f64 i y5)))))))))
▶	27.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 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 y (.f64 i y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 y x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y1 (.f64 i z))) (.f64 k (.f64 y4 (.f64 y b)))))))))))))
	29.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 y4 (.f64 b (-.f64 (.f64 t j) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))))))
	37.5b	(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 -1 (.f64 z (-.f64 (+.f64 (.f64 c (.f64 y0 y3)) (+.f64 (.f64 k (.f64 y1 i)) (.f64 a (.f64 t b)))) (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 y1 (.f64 a y3)) (.f64 c (.f64 i t)))))))))
	42.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 x (-.f64 (fma.f64 a (.f64 b y) (fma.f64 c (.f64 y0 y2) (.f64 y1 (.f64 i j)))) (fma.f64 c (.f64 i y) (fma.f64 y0 (.f64 b j) (.f64 y1 (*.f64 a y2))))))))
	40.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 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 y0 z) (.f64 y (.f64 a x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y))))))))
	44.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 k (.f64 i y)) (.f64 i (*.f64 t j))) y5)))
	47.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)) (.f64 y4 (-.f64 (.f64 t (.f64 b j)) (.f64 k (*.f64 y b))))))
	40.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 y0 (-.f64 (+.f64 (.f64 c (.f64 y2 x)) (.f64 k (.f64 b z))) (+.f64 (.f64 c (.f64 y3 z)) (.f64 j (*.f64 b x)))))))
	42.0b	(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 y (-.f64 (fma.f64 a (.f64 b x) (.f64 (.f64 i y5) k)) (fma.f64 k (.f64 y4 b) (.f64 c (*.f64 i x)))))))
	33.2b	(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)) (.f64 (-.f64 (.f64 y1 (.f64 a y3)) (.f64 c (*.f64 y0 y3))) z)))))

Compiler

Compiled 47824 to 4821 computations (89.9% saved)

localize97.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.9b	(.f64 y1 (.f64 i z))
✓	5.9b	(.f64 c (.f64 y0 (*.f64 x y2)))
✓	6.0b	(fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 y (.f64 i y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 y x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y1 (.f64 i z))) (.f64 k (.f64 y4 (.f64 y b))))))))))))
✓	7.5b	(.f64 k (.f64 y0 (*.f64 z b)))

series1.4s (0.9%)

Counts

4 → 264

Calls

4 calls:

1.3s	(fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 y (.f64 i y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 y x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y1 (.f64 i z))) (.f64 k (.f64 y4 (.f64 y b))))))))))))
17.0ms	(.f64 c (.f64 y0 (*.f64 x y2)))
16.0ms	(.f64 k (.f64 y0 (*.f64 z b)))
8.0ms	(.f64 y1 (.f64 i z))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
27×	`pow1_binary64`
15×	`cbrt-unprod_binary64`
15×	`prod-exp_binary64`

Counts

4 → 76

Calls

4 calls:

6.0ms	(.f64 c (.f64 y0 (*.f64 x y2)))
5.0ms	(.f64 k (.f64 y0 (*.f64 z b)))
3.0ms	(.f64 y1 (.f64 i z))
0.0ms	(fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (+.f64 (.f64 k (.f64 y0 (.f64 z b))) (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 a (.f64 y (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 k (.f64 y (.f64 i y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y1 (.f64 a (.f64 x y2))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 y x))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (+.f64 (.f64 k (.f64 y1 (.f64 i z))) (.f64 k (.f64 y4 (.f64 y b))))))))))))

simplify459.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

618×	`+-commutative_binary64`
609×	`fma-def_binary64`
599×	`associate-l_binary64`
542×	`associate-+r+_binary64`
330×	`sub-neg_binary64`

Counts

340 → 271

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1083	36457
1	2893	35846
2	5061	35846

prune805.0ms (0.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	261	10	271
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	267	19	286

Error

5.6b

Counts

286 → 19

Alt Table

Status	Error	Program
	43.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 c (-.f64 (fma.f64 y0 (.f64 y2 x) (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t)))) (fma.f64 y4 (.f64 y2 t) (fma.f64 y0 (.f64 z y3) (.f64 y (*.f64 x i)))))))
	47.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y0 z)) (.f64 a (.f64 y y5))) (+.f64 (.f64 c (.f64 y4 y)) (.f64 a (.f64 y1 z)))))))
	44.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 y0 (-.f64 (+.f64 (.f64 c (.f64 y3 z)) (.f64 j (.f64 b x))) (+.f64 (.f64 k (.f64 z b)) (.f64 c (.f64 y2 x)))))))
	42.9b	(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 (fma.f64 y4 (.f64 b t) (.f64 i (.f64 y1 x))) (fma.f64 y0 (.f64 b x) (.f64 i (*.f64 y5 t)))))))
	29.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 y4 (.f64 b (-.f64 (.f64 t j) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))))))
	37.5b	(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 -1 (.f64 z (-.f64 (+.f64 (.f64 c (.f64 y0 y3)) (+.f64 (.f64 k (.f64 y1 i)) (.f64 a (.f64 t b)))) (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 y1 (.f64 a y3)) (.f64 c (.f64 i t)))))))))
	42.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 x (-.f64 (fma.f64 a (.f64 b y) (fma.f64 c (.f64 y0 y2) (.f64 y1 (.f64 i j)))) (fma.f64 c (.f64 i y) (fma.f64 y0 (.f64 b j) (.f64 y1 (*.f64 a y2))))))))
	32.6b	(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 c (.f64 y0 (.f64 y2 x))) (+.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 (.f64 c (.f64 y4 (.f64 y y3))) (.f64 k (.f64 i (.f64 y y5))))))))) (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 i (.f64 y1 z)))))))))))
	49.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y2 (-.f64 (fma.f64 c (.f64 y0 x) (.f64 a (.f64 y5 t))) (fma.f64 c (.f64 y4 t) (.f64 a (*.f64 x y1))))))
	40.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 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 y0 z) (.f64 y (.f64 a x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y))))))))
	44.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 k (.f64 i y)) (.f64 i (*.f64 t j))) y5)))
	47.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (sqrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (sqrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
	33.2b	(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)) (.f64 (-.f64 (.f64 y1 (.f64 a y3)) (.f64 c (*.f64 y0 y3))) z)))))
	47.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)) (.f64 y4 (-.f64 (.f64 t (.f64 b j)) (.f64 k (*.f64 y b))))))
▶	28.7b	(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 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
	47.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (fma.f64 y4 (.f64 b j) (fma.f64 a (.f64 y2 y5) (.f64 c (.f64 z i)))) (fma.f64 i (.f64 j y5) (fma.f64 c (.f64 y2 y4) (.f64 (*.f64 b z) a))))))
	30.9b	(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 c (.f64 y0 (.f64 x y2))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 k (.f64 y0 (.f64 b z))) (+.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 k (.f64 i (.f64 y y5)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 y1 (.f64 a (.f64 y2 x))) (+.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 k (.f64 i (.f64 y1 z))) (.f64 k (.f64 y4 (.f64 y b))))))))))))
	43.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y3 y4) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 x i) (fma.f64 k (.f64 b y4) (.f64 a (*.f64 y3 y5)))))))
	46.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 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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (-.f64 (.f64 b y4) (.f64 i y5)))))))))

Compiler

Compiled 40991 to 4481 computations (89.1% saved)

localize91.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.0b	(.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))))
✓	5.2b	(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 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
✓	5.4b	(.f64 y (.f64 x i))
✓	6.0b	(fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y))))))))))))

series3.1s (2.1%)

Counts

4 → 504

Calls

4 calls:

1.6s	(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 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
1.3s	(fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y))))))))))))
166.0ms	(.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))))
8.0ms	(.f64 y (.f64 x i))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`

Counts

4 → 62

Calls

4 calls:

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

simplify773.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1254×	`fma-def_binary64`
1156×	`associate-+r+_binary64`
217×	`associate-r_binary64`
178×	`sub-neg_binary64`
173×	`associate--r+_binary64`

Counts

566 → 437

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1880	79177
1	5863	79177

prune2.8s (1.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	927	14	941
Fresh	8	10	18
Picked	1	0	1
Done	0	0	0
Total	936	24	960

Error

0.0b

Counts

960 → 24

Alt Table

Status	Error	Program
	37.8b	(-.f64 (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y4 (.f64 y1 y2)) (fma.f64 y0 (.f64 y3 (.f64 j y5)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 y1 (.f64 i (.f64 j x)) (.f64 k (.f64 y (.f64 i y5))))))))))) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (fma.f64 k (.f64 y4 (.f64 y b)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y4 (.f64 y1 (.f64 y3 j)) (fma.f64 k (.f64 y0 (.f64 y5 y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (.f64 k (.f64 i (.f64 y1 z))))))))))))
	52.3b	(.f64 (-.f64 (fma.f64 c (.f64 y0 x) (fma.f64 k (.f64 y4 y1) (.f64 a (.f64 t y5)))) (fma.f64 c (.f64 y4 t) (fma.f64 a (.f64 y1 x) (.f64 k (*.f64 y0 y5))))) y2)
	43.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 c (-.f64 (fma.f64 y0 (.f64 y2 x) (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t)))) (fma.f64 y4 (.f64 y2 t) (fma.f64 y0 (.f64 z y3) (.f64 y (*.f64 x i)))))))
	47.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 y3 (-.f64 (+.f64 (.f64 c (.f64 y0 z)) (.f64 a (.f64 y y5))) (+.f64 (.f64 c (.f64 y4 y)) (.f64 a (.f64 y1 z)))))))
	52.9b	(.f64 (-.f64 (fma.f64 y (.f64 a b) (fma.f64 c (.f64 y0 y2) (.f64 y1 (.f64 i j)))) (fma.f64 c (.f64 y i) (fma.f64 y0 (.f64 b j) (.f64 y1 (*.f64 a y2))))) x)
	48.8b	(.f64 (-.f64 (fma.f64 k (.f64 z b) (fma.f64 c (.f64 x y2) (.f64 y3 (.f64 j y5)))) (fma.f64 k (.f64 y5 y2) (fma.f64 c (.f64 y3 z) (.f64 j (*.f64 b x))))) y0)
	54.2b	(neg.f64 (.f64 t (-.f64 (fma.f64 c (.f64 y4 y2) (fma.f64 i (.f64 j y5) (.f64 a (.f64 z b)))) (fma.f64 a (.f64 y5 y2) (fma.f64 c (.f64 i z) (.f64 y4 (*.f64 b j)))))))
	35.5b	(-.f64 (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 y4 (.f64 t (.f64 j b)) (fma.f64 k (.f64 y4 (.f64 y1 y2)) (fma.f64 c (.f64 i (.f64 t z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 i (.f64 y1 (.f64 j x)) (.f64 k (.f64 y (.f64 i y5))))))))))) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 j y5)) (fma.f64 k (.f64 y4 (.f64 y b)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 y5 y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 a (.f64 t (.f64 b z)) (.f64 k (.f64 i (.f64 y1 z))))))))))))
	49.5b	(.f64 k (-.f64 (fma.f64 y (.f64 i y5) (fma.f64 y4 (.f64 y1 y2) (.f64 y0 (.f64 b z)))) (fma.f64 y0 (.f64 y5 y2) (fma.f64 y1 (.f64 i z) (.f64 y4 (*.f64 y b))))))
	29.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 y4 (.f64 b (-.f64 (.f64 t j) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))))))
	37.5b	(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 -1 (.f64 z (-.f64 (+.f64 (.f64 c (.f64 y0 y3)) (+.f64 (.f64 k (.f64 y1 i)) (.f64 a (.f64 t b)))) (+.f64 (.f64 k (.f64 y0 b)) (+.f64 (.f64 y1 (.f64 a y3)) (.f64 c (.f64 i t)))))))))
	28.8b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))))
	32.6b	(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 c (.f64 y0 (.f64 y2 x))) (+.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 (.f64 c (.f64 y4 (.f64 y y3))) (.f64 k (.f64 i (.f64 y y5))))))))) (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 a (.f64 y1 (.f64 x y2))) (+.f64 (.f64 c (.f64 y (.f64 i x))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 i (.f64 y1 z)))))))))))
	52.9b	(.f64 y4 (-.f64 (fma.f64 k (.f64 y1 y2) (fma.f64 t (.f64 b j) (.f64 c (.f64 y y3)))) (fma.f64 y1 (.f64 y3 j) (fma.f64 k (.f64 y b) (.f64 c (*.f64 t y2))))))
	40.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 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 y0 z) (.f64 y (.f64 a x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y))))))))
	47.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (sqrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (sqrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
	33.2b	(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)) (.f64 (-.f64 (.f64 y1 (.f64 a y3)) (.f64 c (*.f64 y0 y3))) z)))))
	52.8b	(.f64 (-.f64 (fma.f64 i (.f64 j x) (fma.f64 k (.f64 y4 y2) (.f64 a (.f64 y3 z)))) (fma.f64 y4 (.f64 y3 j) (fma.f64 k (.f64 i z) (.f64 a (*.f64 y2 x))))) y1)
	50.6b	(.f64 (-.f64 (fma.f64 y0 (.f64 y3 j) (fma.f64 k (.f64 i y) (.f64 a (.f64 t y2)))) (fma.f64 k (.f64 y0 y2) (fma.f64 y (.f64 a y3) (.f64 i (*.f64 t j))))) y5)
▶	28.7b	(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 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 (.f64 (cbrt.f64 y1) (cbrt.f64 y1)) (.f64 (cbrt.f64 y1) (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
	51.6b	(neg.f64 (.f64 y3 (-.f64 (fma.f64 y4 (.f64 y1 j) (fma.f64 c (.f64 y0 z) (.f64 y (.f64 a y5)))) (fma.f64 c (.f64 y4 y) (fma.f64 a (.f64 y1 z) (.f64 y0 (*.f64 j y5)))))))
	43.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y3 y4) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 x i) (fma.f64 k (.f64 b y4) (.f64 a (*.f64 y3 y5)))))))
	46.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 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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (-.f64 (.f64 b y4) (.f64 i y5)))))))))
	51.5b	(.f64 (-.f64 (fma.f64 y0 (.f64 y3 y5) (fma.f64 y4 (.f64 t b) (.f64 i (.f64 y1 x)))) (fma.f64 y0 (.f64 b x) (fma.f64 y4 (.f64 y1 y3) (.f64 i (*.f64 t y5))))) j)

Compiler

Compiled 324394 to 8643 computations (97.3% saved)

localize113.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(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 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (.f64 b y)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 (.f64 (cbrt.f64 y1) (cbrt.f64 y1)) (.f64 (cbrt.f64 y1) (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y)))))))))))))))
	5.4b	(.f64 y (.f64 x i))
	6.0b	(fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y))))))))))))
✓	6.0b	(fma.f64 (-.f64 (.f64 y2 t) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 b y)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 (.f64 (cbrt.f64 y1) (cbrt.f64 y1)) (.f64 (cbrt.f64 y1) (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3))))) (fma.f64 c (.f64 i (.f64 z t)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 y1 (.f64 (.f64 y2 x) a) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 y (.f64 x i)) (fma.f64 a (.f64 b (.f64 z t)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 z i) (.f64 y4 (*.f64 b y))))))))))))

series1.6min (65.1%)

Calls

1 calls:

1.3s

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

Details

analyze6.6s (4.4%)

sample32.3s (21.5%)

simplify46.0ms (0%)

prune6.0ms (0%)

localize56.0ms (0%)

series1.4s (0.9%)

rewrite14.0ms (0%)

simplify974.0ms (0.6%)

prune1.4s (0.9%)

localize97.0ms (0.1%)

series1.4s (0.9%)

rewrite20.0ms (0%)

simplify459.0ms (0.3%)

prune805.0ms (0.5%)

localize91.0ms (0.1%)

series3.1s (2.1%)

rewrite19.0ms (0%)

simplify773.0ms (0.5%)

prune2.8s (1.9%)

localize113.0ms (0.1%)

series1.6min (65.1%)

Profiling