Details

analyze6.3s (5.2%)

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)

sample33.0s (27%)

Results

29.2s	65575×	body	128	invalid
3.6s	8256×	body	128	valid

Compiler

Compiled 335 to 191 computations (43% saved)

simplify50.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.7b

Counts

3 → 1

Alt Table

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

localize55.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.5b	(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)))))))
✓	7.1b	(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)))))
✓	7.9b	(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.8b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

series1.8s (1.5%)

Counts

4 → 672

Calls

4 calls:

927.0ms	(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)))))))
536.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)))))
256.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)))

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

6.0ms	(.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))))
0.0ms	(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)))))))
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)))))

simplify856.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

841×	`fma-def_binary64`
730×	`associate-+r+_binary64`
578×	`cancel-sign-sub-inv_binary64`
560×	`sub-neg_binary64`
356×	`*-commutative_binary64`

Counts

736 → 477

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1522	73217
1	3480	72687
2	5253	72687

prune1.4s (1.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	459	18	477
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	459	19	478

Error

6.7b

Counts

478 → 19

Alt Table

Status	Error	Program
✓	28.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)) (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))))))))
	45.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 z y0) (.f64 a (.f64 y x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y)))))))
	46.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.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 a (.f64 y1 y3)) (.f64 c (.f64 i t))))))))
	48.4b	(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 y1 x))))))
	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)) (.f64 (sqrt.f64 (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)))))) (sqrt.f64 (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))))))))))
	46.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 a (-.f64 (fma.f64 y1 (.f64 y3 z) (fma.f64 t (.f64 y5 y2) (.f64 y (.f64 b x)))) (fma.f64 t (.f64 b z) (fma.f64 y (.f64 y5 y3) (.f64 y1 (*.f64 x y2)))))))
	48.0b	(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 y5 y2) (.f64 c (.f64 i z)))) (fma.f64 a (.f64 b z) (fma.f64 c (.f64 y4 y2) (.f64 i (*.f64 y5 j)))))))
	36.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 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k))))))))
	46.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y4 (-.f64 (fma.f64 t (.f64 b j) (.f64 c (.f64 y y3))) (fma.f64 k (.f64 b y) (.f64 c (*.f64 t y2))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 c (.f64 i (.f64 t z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	49.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (fma.f64 c (.f64 y4 y) (.f64 y1 (.f64 a z))) (fma.f64 c (.f64 z y0) (.f64 y (*.f64 y5 a))))))
	38.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 y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.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))))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 a (.f64 t (.f64 b z)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	48.0b	(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 y4 y3) (.f64 (.f64 i y5) k))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y5 y3)))))))
▶	32.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)) (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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))))))
	46.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 y0 (.f64 j b)) (+.f64 (.f64 c (.f64 i y)) (.f64 y1 (.f64 a y2)))) (+.f64 (.f64 y (.f64 a b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 y1 (.f64 i j))))) x)))
	37.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)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 a (.f64 y3 z))) (fma.f64 k (.f64 i z) (.f64 a (*.f64 x y2))))))))
	39.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 i (.f64 y1 (.f64 j x)) (fma.f64 a (.f64 y1 (.f64 y3 z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	35.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)) (fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))

Compiler

Compiled 54338 to 5637 computations (89.6% saved)

localize57.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.5b	(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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))))
✓	6.6b	(.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))
✓	7.1b	(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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))
✓	8.2b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))

series1.4s (1.1%)

Counts

4 → 612

Calls

4 calls:

794.0ms	(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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))))
339.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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))))
193.0ms	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))
33.0ms	(.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`distribute-lft-in_binary64`
12×	`distribute-rgt-in_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`

Counts

4 → 64

Calls

4 calls:

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

simplify693.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

637×	`+-commutative_binary64`
634×	`fma-def_binary64`
541×	`associate-+r+_binary64`
535×	`cancel-sign-sub-inv_binary64`
469×	`sub-neg_binary64`

Counts

676 → 413

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1258	58719
1	3043	58210
2	5066	58210

prune1.2s (1%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	412	1	413
Fresh	1	16	17
Picked	0	1	1
Done	0	1	1
Total	413	19	432

Error

6.7b

Counts

432 → 19

Alt Table

Status	Error	Program
✓	28.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)) (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))))))))
	45.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 z y0) (.f64 a (.f64 y x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y)))))))
	46.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.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 a (.f64 y1 y3)) (.f64 c (.f64 i t))))))))
	48.4b	(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 y1 x))))))
	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)) (.f64 (sqrt.f64 (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)))))) (sqrt.f64 (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))))))))))
	48.0b	(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 y5 y2) (.f64 c (.f64 i z)))) (fma.f64 a (.f64 b z) (fma.f64 c (.f64 y4 y2) (.f64 i (*.f64 y5 j)))))))
	36.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 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k))))))))
	46.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y4 (-.f64 (fma.f64 t (.f64 b j) (.f64 c (.f64 y y3))) (fma.f64 k (.f64 b y) (.f64 c (*.f64 t y2))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 c (.f64 i (.f64 t z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	49.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (fma.f64 c (.f64 y4 y) (.f64 y1 (.f64 a z))) (fma.f64 c (.f64 z y0) (.f64 y (*.f64 y5 a))))))
	38.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 y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.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))))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 a (.f64 t (.f64 b z)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	48.0b	(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 y4 y3) (.f64 (.f64 i y5) k))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y5 y3)))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 z b)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 a (.f64 y1 (.f64 y3 z)) (.f64 c (.f64 i (.f64 z t)))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 x b)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (.f64 y1 (.f64 z i)))))))))))
✓	32.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)) (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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))))))
	46.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 (-.f64 (+.f64 (.f64 y0 (.f64 j b)) (+.f64 (.f64 c (.f64 i y)) (.f64 y1 (.f64 a y2)))) (+.f64 (.f64 y (.f64 a b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 y1 (.f64 i j))))) x)))
	37.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)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 a (.f64 y3 z))) (fma.f64 k (.f64 i z) (.f64 a (*.f64 x y2))))))))
	39.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 i (.f64 y1 (.f64 j x)) (fma.f64 a (.f64 y1 (.f64 y3 z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
▶	35.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)) (fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))

Compiler

Compiled 43912 to 4890 computations (88.9% saved)

localize48.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.4b	(.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)
✓	6.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)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))
✓	6.5b	(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 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))))
✓	7.7b	(fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))

series1.6s (1.3%)

Counts

4 → 580

Calls

4 calls:

784.0ms	(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 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))
579.0ms	(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 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))))
200.0ms	(fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))
38.0ms	(.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 52

Calls

4 calls:

6.0ms	(.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)
3.0ms	(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 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))
0.0ms	(fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))
0.0ms	(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 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2))))

simplify751.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

721×	`+-commutative_binary64`
721×	`fma-def_binary64`
622×	`associate-+r+_binary64`
575×	`cancel-sign-sub-inv_binary64`
536×	`sub-neg_binary64`

Counts

632 → 444

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1317	63768
1	3321	63224
2	5058	63224

prune963.0ms (0.8%)

Pruning

27 alts after pruning (24 fresh and 3 done)

	Pruned	Kept	Total
New	432	12	444
Fresh	4	12	16
Picked	0	1	1
Done	0	2	2
Total	436	27	463

Error

2.9b

Counts

463 → 27

Alt Table

Status	Error	Program
✓	28.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)) (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))))))))
	45.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 z y0) (.f64 a (.f64 y x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y)))))))
	43.9b	(-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 k (.f64 (.f64 y1 y2) y4) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t))))))))) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 y2 y5)) (fma.f64 c (.f64 (.f64 i x) y) (fma.f64 a (.f64 (.f64 b z) t) (fma.f64 c (.f64 y4 (.f64 y2 t)) (.f64 k (.f64 y1 (*.f64 z i))))))))))
	55.5b	(.f64 y4 (-.f64 (fma.f64 k (.f64 y1 y2) (.f64 c (.f64 y y3))) (fma.f64 y1 (.f64 j y3) (.f64 c (*.f64 y2 t)))))
	43.9b	(-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 (.f64 y1 y2) y4) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y0 (.f64 y3 (.f64 j y5)) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t))))))))) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (fma.f64 k (.f64 y0 (.f64 y2 y5)) (fma.f64 y1 (.f64 (.f64 x y2) a) (+.f64 (.f64 c (fma.f64 y4 (.f64 y2 t) (.f64 (.f64 i x) y))) (.f64 k (.f64 y1 (*.f64 z i)))))))))
	53.3b	(.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 k (.f64 y2 y4))) (fma.f64 y4 (.f64 j y3) (fma.f64 k (.f64 z i) (.f64 (.f64 x y2) a)))))
	51.9b	(.f64 -1 (.f64 y2 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (+.f64 (.f64 a (.f64 y1 x)) (.f64 k (.f64 y0 y5)))) (+.f64 (.f64 c (.f64 y0 x)) (+.f64 (.f64 k (.f64 y4 y1)) (.f64 a (.f64 t 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)) (.f64 (sqrt.f64 (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)))))) (sqrt.f64 (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))))))))))
	48.0b	(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 y5 y2) (.f64 c (.f64 i z)))) (fma.f64 a (.f64 b z) (fma.f64 c (.f64 y4 y2) (.f64 i (*.f64 y5 j)))))))
▶	36.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 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k))))))))
	46.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y4 (-.f64 (fma.f64 t (.f64 b j) (.f64 c (.f64 y y3))) (fma.f64 k (.f64 b y) (.f64 c (*.f64 t y2))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 c (.f64 i (.f64 t z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	39.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 i (.f64 y1 (.f64 j x)) (fma.f64 a (.f64 y1 (.f64 y3 z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	54.3b	(.f64 a (-.f64 (fma.f64 t (.f64 y2 y5) (.f64 (.f64 b x) y)) (fma.f64 y1 (.f64 x y2) (fma.f64 t (.f64 b z) (.f64 y (.f64 y3 y5))))))
✓	35.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)) (fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))
	57.3b	(.f64 y3 (-.f64 (fma.f64 c (.f64 y y4) (.f64 y0 (.f64 j y5))) (fma.f64 y4 (.f64 y1 j) (.f64 a (*.f64 y y5)))))
	56.0b	(.f64 k (-.f64 (+.f64 (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 z b))) (+.f64 (.f64 y0 (.f64 y5 y2)) (.f64 i (*.f64 y1 z)))))
	49.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (fma.f64 c (.f64 y4 y) (.f64 y1 (.f64 a z))) (fma.f64 c (.f64 z y0) (.f64 y (*.f64 y5 a))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 a (.f64 t (.f64 b z)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	48.0b	(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 y4 y3) (.f64 (.f64 i y5) k))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y5 y3)))))))
	54.6b	(.f64 y5 (-.f64 (fma.f64 y0 (.f64 j y3) (.f64 a (.f64 y2 t))) (fma.f64 k (.f64 y0 y2) (.f64 y (*.f64 a y3)))))
	53.3b	(.f64 -1 (.f64 (-.f64 (+.f64 (.f64 y0 (.f64 b x)) (.f64 y4 (.f64 y1 y3))) (+.f64 (.f64 y0 (.f64 y3 y5)) (.f64 i (.f64 y1 x)))) j))
	50.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)) (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 (pow.f64 (.f64 c (.f64 y0 x)) 3) (pow.f64 (.f64 a (.f64 y1 x)) 3)) y2) (+.f64 (.f64 (.f64 c (.f64 y0 x)) (.f64 c (.f64 y0 x))) (+.f64 (.f64 (.f64 a (.f64 y1 x)) (.f64 a (.f64 y1 x))) (.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 y1 x))))))))))
	46.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.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 a (.f64 y1 y3)) (.f64 c (.f64 i t))))))))
✓	32.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)) (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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))))))
	51.7b	(.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 y1 (.f64 i j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x)
	37.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)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 a (.f64 y3 z))) (fma.f64 k (.f64 i z) (.f64 a (*.f64 x y2))))))))

Compiler

Compiled 42738 to 4973 computations (88.4% saved)

localize66.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.1b	(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 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k)))))
✓	7.9b	(fma.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 c y0) (.f64 a y1)) (/.f64 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k))))
✓	11.1b	(.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (*.f64 k y))))
✓	20.8b	(/.f64 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k)))

series2.2s (1.8%)

Counts

4 → 576

Calls

4 calls:

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

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
16×	`associate-*r/_binary64`
12×	`distribute-lft-in_binary64`
12×	`distribute-rgt-in_binary64`

Counts

4 → 95

Calls

4 calls:

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

simplify700.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

525×	`+-commutative_binary64`
479×	`cancel-sign-sub-inv_binary64`
464×	`sub-neg_binary64`
436×	`associate-+r+_binary64`
435×	`fma-def_binary64`

Counts

671 → 481

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1210	56576
1	3274	55168
2	5294	55168

prune968.0ms (0.8%)

Pruning

27 alts after pruning (23 fresh and 4 done)

	Pruned	Kept	Total
New	480	1	481
Fresh	1	22	23
Picked	0	1	1
Done	0	3	3
Total	481	27	508

Error

2.9b

Counts

508 → 27

Alt Table

Status	Error	Program
✓	28.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)) (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))))))))
	45.1b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 b (-.f64 (fma.f64 y4 (.f64 t j) (fma.f64 k (.f64 z y0) (.f64 a (.f64 y x)))) (fma.f64 y0 (.f64 j x) (fma.f64 a (.f64 t z) (.f64 k (*.f64 y4 y)))))))
	43.9b	(-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 k (.f64 (.f64 y1 y2) y4) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t))))))))) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 y2 y5)) (fma.f64 c (.f64 (.f64 i x) y) (fma.f64 a (.f64 (.f64 b z) t) (fma.f64 c (.f64 y4 (.f64 y2 t)) (.f64 k (.f64 y1 (*.f64 z i))))))))))
	55.5b	(.f64 y4 (-.f64 (fma.f64 k (.f64 y1 y2) (.f64 c (.f64 y y3))) (fma.f64 y1 (.f64 j y3) (.f64 c (*.f64 y2 t)))))
	43.9b	(-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 (.f64 y1 y2) y4) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y0 (.f64 y3 (.f64 j y5)) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 z t))))))))) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 y4 (.f64 y1 (.f64 j y3)) (fma.f64 k (.f64 y0 (.f64 y2 y5)) (fma.f64 y1 (.f64 (.f64 x y2) a) (+.f64 (.f64 c (fma.f64 y4 (.f64 y2 t) (.f64 (.f64 i x) y))) (.f64 k (.f64 y1 (*.f64 z i)))))))))
	53.3b	(.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 k (.f64 y2 y4))) (fma.f64 y4 (.f64 j y3) (fma.f64 k (.f64 z i) (.f64 (.f64 x y2) a)))))
	51.9b	(.f64 -1 (.f64 y2 (-.f64 (+.f64 (.f64 c (.f64 y4 t)) (+.f64 (.f64 a (.f64 y1 x)) (.f64 k (.f64 y0 y5)))) (+.f64 (.f64 c (.f64 y0 x)) (+.f64 (.f64 k (.f64 y4 y1)) (.f64 a (.f64 t 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)) (.f64 (sqrt.f64 (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)))))) (sqrt.f64 (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))))))))))
	48.0b	(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 y5 y2) (.f64 c (.f64 i z)))) (fma.f64 a (.f64 b z) (fma.f64 c (.f64 y4 y2) (.f64 i (*.f64 y5 j)))))))
✓	36.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 (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) (.f64 (fma.f64 t j (.f64 k y)) (-.f64 (.f64 t j) (.f64 k y)))) (+.f64 (.f64 t j) (*.f64 y k))))))))
	46.6b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y4 (-.f64 (fma.f64 t (.f64 b j) (.f64 c (.f64 y y3))) (fma.f64 k (.f64 b y) (.f64 c (*.f64 t y2))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 c (.f64 i (.f64 t z)) (fma.f64 c (.f64 y4 (.f64 y y3)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 c (.f64 (.f64 y3 z) y0) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 c (.f64 y4 (.f64 t y2)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
✓	35.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)) (fma.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 i y1) (.f64 b y0)) (.f64 (-.f64 (.f64 c (.f64 y0 x)) (.f64 a (*.f64 y1 x))) y2)))))
	31.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)) (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)) (neg.f64 (.f64 k (.f64 y (-.f64 (.f64 y4 b) (.f64 i y5))))))))))
	57.3b	(.f64 y3 (-.f64 (fma.f64 c (.f64 y y4) (.f64 y0 (.f64 j y5))) (fma.f64 y4 (.f64 y1 j) (.f64 a (*.f64 y y5)))))
	56.0b	(.f64 k (-.f64 (+.f64 (.f64 y4 (.f64 y1 y2)) (.f64 y0 (.f64 z b))) (+.f64 (.f64 y0 (.f64 y5 y2)) (.f64 i (*.f64 y1 z)))))
	49.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 y3 (-.f64 (fma.f64 c (.f64 y4 y) (.f64 y1 (.f64 a z))) (fma.f64 c (.f64 z y0) (.f64 y (*.f64 y5 a))))))
	37.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 k (.f64 y0 (.f64 b z)) (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 i (.f64 j x)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (.f64 k (.f64 i (.f64 y5 y))))))))) (fma.f64 a (.f64 y (.f64 y5 y3)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 a (.f64 t (.f64 b z)) (fma.f64 i (.f64 t (.f64 y5 j)) (.f64 k (+.f64 (.f64 y4 (.f64 b y)) (.f64 i (.f64 y1 z)))))))))))
	48.0b	(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 y4 y3) (.f64 (.f64 i y5) k))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y5 y3)))))))
	54.6b	(.f64 y5 (-.f64 (fma.f64 y0 (.f64 j y3) (.f64 a (.f64 y2 t))) (fma.f64 k (.f64 y0 y2) (.f64 y (*.f64 a y3)))))
	53.3b	(.f64 -1 (.f64 (-.f64 (+.f64 (.f64 y0 (.f64 b x)) (.f64 y4 (.f64 y1 y3))) (+.f64 (.f64 y0 (.f64 y3 y5)) (.f64 i (.f64 y1 x)))) j))
	50.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)) (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 (pow.f64 (.f64 c (.f64 y0 x)) 3) (pow.f64 (.f64 a (.f64 y1 x)) 3)) y2) (+.f64 (.f64 (.f64 c (.f64 y0 x)) (.f64 c (.f64 y0 x))) (+.f64 (.f64 (.f64 a (.f64 y1 x)) (.f64 a (.f64 y1 x))) (.f64 (.f64 c (.f64 y0 x)) (.f64 a (.f64 y1 x))))))))))
	46.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.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 a (.f64 y1 y3)) (.f64 c (.f64 i t))))))))
✓	32.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)) (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)) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y))))))))))
	51.7b	(.f64 (-.f64 (+.f64 (.f64 a (.f64 y b)) (+.f64 (.f64 c (.f64 y0 y2)) (.f64 y1 (.f64 i j)))) (+.f64 (.f64 c (.f64 y i)) (+.f64 (.f64 y0 (.f64 b j)) (.f64 y1 (*.f64 a y2))))) x)
	37.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)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (.f64 y1 (-.f64 (fma.f64 i (.f64 j x) (.f64 a (.f64 y3 z))) (fma.f64 k (.f64 i z) (.f64 a (*.f64 x y2))))))))
	54.3b	(.f64 a (-.f64 (fma.f64 t (.f64 y2 y5) (.f64 (.f64 b x) y)) (fma.f64 y1 (.f64 x y2) (fma.f64 t (.f64 b z) (.f64 y (.f64 y3 y5))))))

Compiler

Compiled 59586 to 7054 computations (88.2% saved)

regimes1.0min (50.8%)

Accuracy

Total 27.2b remaining (91%)

Threshold costs 0b (0%)

Counts

531 → 12

Compiler

Compiled 820693 to 453637 computations (44.7% saved)

bsearch5.1s (4.2%)

Steps

Iters	Range		Point
10	1.7320864853118743e+144	5.950314562511132e+154	2.666484626827469e+151
8	1.1871629792065275e-132	3.761280332963009e-129	1.3310252148868529e-132
7	7.499609412846746e-168	9.545168597793247e-166	8.018108753360718e-167
6	7.475518135867715e-203	5.099416405214444e-202	1.2070816234197376e-202
9	6.844608441700706e-240	9.19035349762156e-231	1.139074364968455e-235
8	-5.853614455992179e-180	-3.2557862783484587e-183	-7.862356429618503e-181
8	-8.026673763577474e-141	-2.8723689118884797e-143	-4.2628708142154086e-141
5	-7.661571420019399e-91	-2.33417157181577e-91	-2.4295981975581737e-91
9	-7.083764616064145e-26	-4.403109326030359e-31	-1.7432292235808475e-28
8	-3.9600102537712886e+43	-1.5128665982099728e+41	-1.5812552240079246e+41
8	-4.3501204352800996e+160	-1.0656715831275326e+156	-1.7738183189935866e+160

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify55.0ms (0%)

Algorithm

1×	egg-herbie

Rules

135×	`*-commutative_binary64`
71×	`+-commutative_binary64`
67×	`sub-neg_binary64`
46×	`neg-sub0_binary64`
46×	`neg-mul-1_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	1539
1	417	1539
2	536	1539
3	631	1537
4	708	1537
5	738	1537
6	747	1537
7	750	1537
8	745	1537

end821.0ms (0.7%)

Compiler: Compiled 4281 to 1648 computations (61.5% saved)

Details

analyze6.3s (5.2%)

sample33.0s (27%)

simplify50.0ms (0%)

prune6.0ms (0%)

localize55.0ms (0%)

series1.8s (1.5%)

rewrite12.0ms (0%)

simplify856.0ms (0.7%)

prune1.4s (1.1%)

localize57.0ms (0%)

series1.4s (1.1%)

rewrite11.0ms (0%)

simplify693.0ms (0.6%)

prune1.2s (1%)

localize48.0ms (0%)

series1.6s (1.3%)

rewrite13.0ms (0%)

simplify751.0ms (0.6%)

prune963.0ms (0.8%)

localize66.0ms (0.1%)

series2.2s (1.8%)

rewrite35.0ms (0%)

simplify700.0ms (0.6%)

prune968.0ms (0.8%)

regimes1.0min (50.8%)

bsearch5.1s (4.2%)

simplify55.0ms (0%)

end821.0ms (0.7%)

Profiling