Details

analyze11.6s (10.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)

sample39.2s (34.4%)

Results

34.6s	65108×	body	128	invalid
4.4s	8256×	body	128	valid

Compiler

Compiled 335 to 191 computations (43% saved)

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

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

24.7b

Counts

3 → 1

Alt Table

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

▶

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

localize63.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.0b	(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)))))))
✓	5.1b	(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))))))
✓	6.2b	(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)))

series2.1s (1.9%)

Counts

4 → 672

Calls

4 calls:

979.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)))))))
643.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))))))
434.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)))))
61.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

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

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

simplify1.5s (1.4%)

Algorithm

1×	egg-herbie

Rules

1118×	`fma-def_binary64`
998×	`associate-+r+_binary64`
256×	`sub-neg_binary64`
220×	`associate--r+_binary64`
220×	`associate--l+_binary64`

Counts

736 → 557

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1826	86402
1	5945	86402

prune3.5s (3.1%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	541	16	557
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	541	17	558

Error

5.4b

Counts

558 → 17

Alt Table

Status	Error	Program
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (fma.f64 y4 (.f64 j b) (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 j y5)))))))
	38.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 -1 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 a (.f64 t z)) (.f64 k (.f64 y4 y)))) (+.f64 (.f64 y4 (.f64 t j)) (+.f64 (.f64 k (.f64 y0 z)) (.f64 a (.f64 y x)))))))))
	24.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 (fma.f64 k (.f64 y0 (.f64 z b)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y4 (.f64 t (.f64 j b)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 i (.f64 y1 (.f64 j x)) (fma.f64 a (.f64 y1 (.f64 y3 z)) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5)))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 y1 z) (.f64 y4 (*.f64 y b)))))))))))))
	46.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 c (.f64 y0 x) (.f64 a (.f64 t y5))) (fma.f64 c (.f64 y4 t) (.f64 a (*.f64 y1 x)))) y2))
	24.7b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 k (.f64 y0 (.f64 z b)) (fma.f64 a (.f64 t (.f64 y5 y2)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (+.f64 (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 t z)))) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 y (.f64 b x)) (fma.f64 y1 (.f64 i (.f64 j x)) (.f64 k (.f64 y (.f64 i y5))))))))))) (fma.f64 y (.f64 a (.f64 y3 y5)) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 a (.f64 t (.f64 z b)) (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 y0 (.f64 b (.f64 j x)) (.f64 k (.f64 y1 (.f64 i z))))))))))))))
	33.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 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 j b)) (fma.f64 i (.f64 y1 (.f64 j x)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (.f64 c (.f64 i (.f64 t z)))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y1 (.f64 y2 x)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (fma.f64 a (.f64 t (.f64 b z)) (.f64 i (.f64 t (.f64 j y5)))))))))))
	28.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 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (fma.f64 y4 (.f64 t (.f64 j b)) (.f64 k (.f64 y0 (.f64 b z)))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (.f64 k (.f64 y4 (.f64 y b))))))))))
	26.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b)))))))
✓	24.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))))))))
	38.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)) (.f64 (-.f64 (fma.f64 a (.f64 y 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)))
	43.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (fma.f64 k (.f64 y0 b) (fma.f64 y1 (.f64 a y3) (.f64 c (.f64 i t)))) (fma.f64 k (.f64 i y1) (fma.f64 c (.f64 y0 y3) (.f64 a (*.f64 t b)))))))
▶	24.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)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 j b)) (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 i (.f64 t z)) (.f64 k (.f64 y (.f64 i y5)))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (fma.f64 c (.f64 i (.f64 y x)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 i z) (.f64 y4 (*.f64 y b)))))))))))))
	34.1b	(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 y (.f64 i y5))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y (.f64 y3 y5)) (fma.f64 a (.f64 y1 (.f64 y2 x)) (fma.f64 y0 (.f64 b (.f64 j x)) (fma.f64 c (.f64 y (.f64 i x)) (.f64 k (+.f64 (.f64 y4 (.f64 y b)) (.f64 y1 (.f64 i z)))))))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (neg.f64 (.f64 j (-.f64 (fma.f64 y0 (.f64 b x) (.f64 i (.f64 t y5))) (fma.f64 y4 (.f64 t b) (.f64 y1 (*.f64 i x)))))))))
	49.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 y3 (-.f64 (fma.f64 c (.f64 y0 z) (.f64 a (.f64 y y5))) (fma.f64 c (.f64 y4 y) (.f64 a (*.f64 y1 z)))))))
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 y b) (fma.f64 c (.f64 y0 y2) (.f64 i (.f64 y1 j)))) (fma.f64 c (.f64 y i) (fma.f64 y0 (.f64 b j) (.f64 a (*.f64 y1 y2))))) x))
	45.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y4 y3) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y3 y5))))) y))

Compiler

Compiled 67533 to 6478 computations (90.4% saved)

localize179.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series2.7s (2.4%)

Counts

4 → 292

Calls

4 calls:

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

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`associate-l_binary64`

Counts

4 → 72

Calls

4 calls:

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

simplify1.1s (0.9%)

Algorithm

1×	egg-herbie

Rules

569×	`+-commutative_binary64`
565×	`fma-def_binary64`
503×	`associate-l_binary64`
495×	`associate-+r+_binary64`
314×	`sub-neg_binary64`

Counts

364 → 259

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1038	37231
1	2772	36649
2	4891	36649
3	4983	36649

prune1.5s (1.3%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	254	5	259
Fresh	4	11	15
Picked	1	0	1
Done	0	1	1
Total	259	17	276

Error

5.3b

Counts

276 → 17

Alt Table

Status	Error	Program
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (fma.f64 y4 (.f64 j b) (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 j y5)))))))
	38.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 -1 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 a (.f64 t z)) (.f64 k (.f64 y4 y)))) (+.f64 (.f64 y4 (.f64 t j)) (+.f64 (.f64 k (.f64 y0 z)) (.f64 a (.f64 y x)))))))))
▶	24.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)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 j b)) (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 (.f64 t z) i) (.f64 k (.f64 y (.f64 i y5)))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (fma.f64 c (.f64 i (.f64 y x)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 i z) (.f64 y4 (*.f64 y b)))))))))))))
	28.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 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (fma.f64 y4 (.f64 t (.f64 j b)) (.f64 k (.f64 y0 (.f64 b z)))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (.f64 k (.f64 y4 (.f64 y b))))))))))
	26.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b)))))))
✓	24.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))))))))
	38.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)) (.f64 (-.f64 (fma.f64 a (.f64 y 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)))
	43.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (fma.f64 k (.f64 y0 b) (fma.f64 y1 (.f64 a y3) (.f64 c (.f64 i t)))) (fma.f64 k (.f64 i y1) (fma.f64 c (.f64 y0 y3) (.f64 a (*.f64 t b)))))))
	32.5b	(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 y (.f64 a (.f64 b x))) (+.f64 (.f64 y4 (.f64 t (.f64 j b))) (+.f64 (.f64 i (.f64 y1 (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (.f64 c (.f64 i (.f64 t z)))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 y (.f64 a (.f64 y3 y5))) (+.f64 (.f64 a (.f64 y1 (.f64 y2 x))) (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (+.f64 (.f64 c (.f64 i (.f64 y x))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (+.f64 (.f64 c (.f64 y4 (.f64 t y2))) (.f64 i (.f64 t (.f64 j y5))))))))))))
	45.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y4 y3) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y3 y5))))) y))
	48.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 j (-.f64 (fma.f64 y4 (.f64 b t) (.f64 y1 (.f64 x i))) (fma.f64 y0 (.f64 x b) (.f64 i (*.f64 y5 t))))))
	46.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 c (.f64 y0 x) (.f64 a (.f64 t y5))) (fma.f64 c (.f64 y4 t) (.f64 a (*.f64 y1 x)))) y2))
	32.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 y2 x))) (+.f64 (.f64 y (.f64 a (.f64 b x))) (+.f64 (.f64 k (.f64 y0 (.f64 b z))) (+.f64 (.f64 i (.f64 y1 (.f64 j x))) (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (+.f64 (.f64 c (.f64 y4 (.f64 y y3))) (.f64 k (.f64 i (.f64 y y5))))))))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (+.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 k (.f64 y4 (.f64 y b))) (.f64 k (.f64 i (.f64 y1 z)))))))))))
	39.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (fma.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i)) (neg.f64 (.f64 j (-.f64 (fma.f64 y0 (.f64 b x) (.f64 i (.f64 t y5))) (fma.f64 y4 (.f64 t b) (.f64 y1 (*.f64 i x)))))))))
	49.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 y3 (-.f64 (fma.f64 c (.f64 y0 z) (.f64 a (.f64 y y5))) (fma.f64 c (.f64 y4 y) (.f64 a (*.f64 y1 z)))))))
	44.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 -1 (.f64 k (-.f64 (+.f64 (.f64 i (.f64 y1 z)) (.f64 y4 (.f64 y b))) (+.f64 (.f64 i (.f64 y y5)) (.f64 y0 (.f64 b z)))))))
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 y b) (fma.f64 c (.f64 y0 y2) (.f64 i (.f64 y1 j)))) (fma.f64 c (.f64 y i) (fma.f64 y0 (.f64 b j) (.f64 a (*.f64 y1 y2))))) x))

Compiler

Compiled 35916 to 4114 computations (88.5% saved)

localize175.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series2.9s (2.5%)

Counts

2 → 228

Calls

2 calls:

2.9s

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

19.0ms

(*.f64 (*.f64 t z) i)

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`*-un-lft-identity_binary64`

Counts

2 → 30

Calls

2 calls:

6.0ms

(*.f64 (*.f64 t z) i)

1.0ms

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

simplify1.2s (1%)

Algorithm

1×	egg-herbie

Rules

563×	`+-commutative_binary64`
563×	`fma-def_binary64`
493×	`associate-+r+_binary64`
390×	`associate-l_binary64`
322×	`neg-sub0_binary64`

Counts

258 → 192

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	976	35339
1	2647	34851
2	4506	34851
3	5011	34851

prune1.6s (1.4%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	251	5	256
Fresh	4	11	15
Picked	0	1	1
Done	0	1	1
Total	255	18	273

Error

5.3b

Counts

273 → 18

Alt Table

Status	Error	Program
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (fma.f64 y4 (.f64 j b) (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 j y5)))))))
	38.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 -1 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 a (.f64 t z)) (.f64 k (.f64 y4 y)))) (+.f64 (.f64 y4 (.f64 t j)) (+.f64 (.f64 k (.f64 y0 z)) (.f64 a (.f64 y x)))))))))
	32.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 t z))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 c (.f64 y4 (.f64 t y2)) (.f64 i (.f64 t (*.f64 j y5)))))))))))
✓	24.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)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 j b)) (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 (.f64 t z) i) (.f64 k (.f64 y (.f64 i y5)))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (fma.f64 c (.f64 i (.f64 y x)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 i z) (.f64 y4 (*.f64 y b)))))))))))))
	46.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 c (.f64 y0 x) (.f64 a (.f64 t y5))) (fma.f64 c (.f64 y4 t) (.f64 a (*.f64 y1 x)))) y2))
	26.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 k (.f64 y0 (.f64 z b)) (fma.f64 a (.f64 y1 (.f64 z y3)) (+.f64 (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 t z)))) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 c (.f64 y4 (.f64 t y2)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b)))))))))))
	28.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 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (fma.f64 y4 (.f64 t (.f64 j b)) (.f64 k (.f64 y0 (.f64 b z)))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (.f64 k (.f64 y4 (.f64 y b))))))))))
	26.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b)))))))
✓	24.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))))))))
	38.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)) (.f64 (-.f64 (fma.f64 a (.f64 y 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)))
	45.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y4 y3) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y3 y5))))) y))
	48.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 j (-.f64 (fma.f64 y4 (.f64 b t) (.f64 y1 (.f64 x i))) (fma.f64 y0 (.f64 x b) (.f64 i (*.f64 y5 t))))))
▶	24.8b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b)))))))))))))))
	49.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 y3 (-.f64 (fma.f64 c (.f64 y0 z) (.f64 a (.f64 y y5))) (fma.f64 c (.f64 y4 y) (.f64 a (*.f64 y1 z)))))))
	28.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 y b)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (.f64 i (.f64 z y1)))))))))))
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 y b) (fma.f64 c (.f64 y0 y2) (.f64 i (.f64 y1 j)))) (fma.f64 c (.f64 y i) (fma.f64 y0 (.f64 b j) (.f64 a (*.f64 y1 y2))))) x))
	43.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (fma.f64 k (.f64 y0 b) (fma.f64 y1 (.f64 a y3) (.f64 c (.f64 i t)))) (fma.f64 k (.f64 i y1) (fma.f64 c (.f64 y0 y3) (.f64 a (*.f64 t b)))))))
	44.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 k (-.f64 (fma.f64 i (.f64 y y5) (.f64 y0 (.f64 z b))) (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b))))))

Compiler

Compiled 36200 to 4124 computations (88.6% saved)

localize161.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b))))
✓	5.2b	(.f64 y0 (.f64 y2 x))
✓	5.4b	(.f64 a (.f64 z y3))
	5.8b	(.f64 i (.f64 t z))

series97.0ms (0.1%)

Counts

3 → 136

Calls

3 calls:

66.0ms	(.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b))))
17.0ms	(.f64 y0 (.f64 y2 x))
14.0ms	(.f64 a (.f64 z y3))

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-cbrt-cube_binary64`
15×	`add-exp-log_binary64`
15×	`pow1_binary64`
9×	`associate-l_binary64`
9×	`add-sqr-sqrt_binary64`

Counts

3 → 62

Calls

3 calls:

13.0ms	(.f64 y0 (.f64 y2 x))
6.0ms	(.f64 a (.f64 z y3))
5.0ms	(.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b))))

simplify204.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

866×	`distribute-rgt-in_binary64`
864×	`distribute-lft-in_binary64`
457×	`*-commutative_binary64`
361×	`sqr-pow_binary64`
278×	`fma-def_binary64`

Counts

198 → 92

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	138	2617
1	283	2457
2	940	2457
3	1692	2457
4	4976	2457
5	4857	2457
6	5587	2457

prune2.3s (2%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	365	1	366
Fresh	0	15	15
Picked	1	0	1
Done	0	2	2
Total	366	18	384

Error

5.3b

Counts

384 → 18

Alt Table

Status	Error	Program
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 t (-.f64 (fma.f64 y4 (.f64 j b) (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 j y5)))))))
	38.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 -1 (.f64 b (-.f64 (+.f64 (.f64 y0 (.f64 j x)) (+.f64 (.f64 a (.f64 t z)) (.f64 k (.f64 y4 y)))) (+.f64 (.f64 y4 (.f64 t j)) (+.f64 (.f64 k (.f64 y0 z)) (.f64 a (.f64 y x)))))))))
	32.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 t z))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 c (.f64 y4 (.f64 t y2)) (.f64 i (.f64 t (*.f64 j y5)))))))))))
✓	24.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)) (-.f64 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y (.f64 a (.f64 b x)) (fma.f64 y4 (.f64 t (.f64 j b)) (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 (.f64 t z) i) (.f64 k (.f64 y (.f64 i y5)))))))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 a (.f64 y1 (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (fma.f64 c (.f64 i (.f64 y x)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 y1 (.f64 i z) (.f64 y4 (*.f64 y b)))))))))))))
	46.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 c (.f64 y0 x) (.f64 a (.f64 t y5))) (fma.f64 c (.f64 y4 t) (.f64 a (*.f64 y1 x)))) y2))
	26.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 k (.f64 y0 (.f64 z b)) (fma.f64 a (.f64 y1 (.f64 z y3)) (+.f64 (.f64 c (fma.f64 y4 (.f64 y y3) (.f64 i (.f64 t z)))) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 c (.f64 y4 (.f64 t y2)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b)))))))))))
	28.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 (fma.f64 c (.f64 y0 (.f64 x y2)) (fma.f64 y1 (.f64 a (.f64 y3 z)) (fma.f64 y4 (.f64 t (.f64 j b)) (.f64 k (.f64 y0 (.f64 b z)))))) (fma.f64 c (.f64 y0 (.f64 y3 z)) (fma.f64 y1 (.f64 a (.f64 x y2)) (fma.f64 y0 (.f64 j (.f64 b x)) (.f64 k (.f64 y4 (.f64 y b))))))))))
	26.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 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b)))))))
✓	24.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))))))))
	38.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)) (.f64 (-.f64 (fma.f64 a (.f64 y 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)))
	25.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (.f64 y b)))))))))))))) (cbrt.f64 (fma.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 a y5) (.f64 c y4)) (-.f64 (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 y (.f64 a (.f64 x b)) (fma.f64 y4 (.f64 t (.f64 b j)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 (.f64 a z) y3))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (fma.f64 a (.f64 (.f64 y2 x) y1) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b)))))))))))))))
	45.4b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 b x) (fma.f64 c (.f64 y4 y3) (.f64 k (.f64 i y5)))) (fma.f64 c (.f64 i x) (fma.f64 k (.f64 y4 b) (.f64 a (*.f64 y3 y5))))) y))
	48.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 j (-.f64 (fma.f64 y4 (.f64 b t) (.f64 y1 (.f64 x i))) (fma.f64 y0 (.f64 x b) (.f64 i (*.f64 y5 t))))))
	49.0b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (neg.f64 (.f64 y3 (-.f64 (fma.f64 c (.f64 y0 z) (.f64 a (.f64 y y5))) (fma.f64 c (.f64 y4 y) (.f64 a (*.f64 y1 z)))))))
	28.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (fma.f64 a (.f64 t (.f64 y2 y5)) (fma.f64 c (.f64 y0 (.f64 y2 x)) (fma.f64 a (.f64 x (.f64 y b)) (fma.f64 k (.f64 y0 (.f64 z b)) (+.f64 (.f64 y1 (fma.f64 i (.f64 x j) (.f64 a (.f64 z y3)))) (fma.f64 c (.f64 i (.f64 t z)) (.f64 k (.f64 i (.f64 y y5))))))))) (fma.f64 c (.f64 y0 (.f64 z y3)) (+.f64 (.f64 a (fma.f64 y (.f64 y3 y5) (.f64 (.f64 y2 x) y1))) (fma.f64 y0 (.f64 b (.f64 x j)) (fma.f64 c (.f64 i (.f64 x y)) (fma.f64 a (.f64 t (.f64 z b)) (fma.f64 i (.f64 t (.f64 j y5)) (.f64 k (.f64 i (.f64 z y1)))))))))))
	44.5b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 (-.f64 (fma.f64 a (.f64 y b) (fma.f64 c (.f64 y0 y2) (.f64 i (.f64 y1 j)))) (fma.f64 c (.f64 y i) (fma.f64 y0 (.f64 b j) (.f64 a (*.f64 y1 y2))))) x))
	43.9b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 z (-.f64 (fma.f64 k (.f64 y0 b) (fma.f64 y1 (.f64 a y3) (.f64 c (.f64 i t)))) (fma.f64 k (.f64 i y1) (fma.f64 c (.f64 y0 y3) (.f64 a (*.f64 t b)))))))
	44.3b	(fma.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (.f64 k (-.f64 (fma.f64 i (.f64 y y5) (.f64 y0 (.f64 z b))) (fma.f64 i (.f64 z y1) (.f64 y4 (*.f64 y b))))))

Compiler

Compiled 148429 to 3713 computations (97.5% saved)

regimes37.1s (32.5%)

Accuracy

Total 22.4b remaining (75.7%)

Threshold costs 0b (0%)

Counts

333 → 12

Compiler

Compiled 602532 to 308185 computations (48.9% saved)

bsearch3.8s (3.3%)

Steps

Iters	Range		Point
2	3.988388796221025e+95	2.1014677760532892e+99	2.91805611483236e+97
2	1.1731796175381355e-200	2.1188986565482953e-198	5.85002236908907e-199
9	2.5166037755964817e-303	1.7003848498111041e-296	2.5488787504143058e-303
5	-1.733540590145855e-289	-7.871137177917271e-290	-7.963750252517817e-290
5	-8.41150399065329e-247	-2.8066870636850403e-247	-3.359482660201687e-247
8	-1.2390367458003207e-209	-4.0753463133175815e-214	-2.964585741499648e-210
7	-1.4464658680186357e-184	-6.434750744224744e-186	-4.1979346316806844e-185
8	-1.786525779795684e-150	-1.2194614751171272e-153	-7.887039867547132e-153
9	-1.9200756023296895e-87	-5.881323172720441e-95	-1.7976088564314313e-87
6	-2.0461126955772326e-42	-2.1302629998697242e-43	-1.4319518254780635e-42
9	-8.03642662619757e+129	-4.4542997925648215e+120	-9.889690195310615e+122

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify203.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

501×	`neg-sub0_binary64`
501×	`neg-mul-1_binary64`
487×	`distribute-rgt-neg-in_binary64`
403×	`distribute-lft-neg-out_binary64`
387×	`distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	278	1715
1	444	1715
2	591	1715
3	714	1707
4	802	1707
5	868	1707
6	1001	1707
7	1213	1707
8	1478	1707
9	1817	1707
10	2253	1707
11	2550	1707
12	2563	1707
13	2630	1707
14	2655	1707
15	2658	1707
16	2882	1707
17	2997	1707
18	3001	1707
19	3021	1707
20	3029	1707
21	3029	1707
22	3025	1707

end716.0ms (0.6%)

Compiler: Compiled 4339 to 1427 computations (67.1% saved)

Details

analyze11.6s (10.2%)

sample39.2s (34.4%)

simplify49.0ms (0%)

prune7.0ms (0%)

localize63.0ms (0.1%)

series2.1s (1.9%)

rewrite26.0ms (0%)

simplify1.5s (1.4%)

prune3.5s (3.1%)

localize179.0ms (0.2%)

series2.7s (2.4%)

rewrite30.0ms (0%)

simplify1.1s (0.9%)

prune1.5s (1.3%)

localize175.0ms (0.2%)

series2.9s (2.5%)

rewrite16.0ms (0%)

simplify1.2s (1%)

prune1.6s (1.4%)

localize161.0ms (0.1%)

series97.0ms (0.1%)

rewrite29.0ms (0%)

simplify204.0ms (0.2%)

prune2.3s (2%)

regimes37.1s (32.5%)

bsearch3.8s (3.3%)

simplify203.0ms (0.2%)

end716.0ms (0.6%)

Profiling