Details

analyze13.9s (12.6%)

Algorithm

1×

Search

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

Compiler

Compiled 112 to 64 computations (42.9% saved)

sample1.6s (1.5%)

Algorithm

1×

intervals

Results

1.1s	2101×	body	128	invalid
141.0ms	256×	body	128	valid

Compiler

Compiled 239 to 143 computations (40.2% saved)

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

prune16.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

27.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Status

Error

Program

▶

27.8b

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

Compiler

Compiled 423 to 210 computations (50.4% saved)

localize121.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
✓	8.5b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
✓	9.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
✓	9.6b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series501.0ms (0.5%)

Counts

4 → 384

Calls

4 calls:

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

rewrite84.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64`
24×	`flip3--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`associate-r_binary64`

Counts

4 → 136

Calls

4 calls:

17.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
15.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
14.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
13.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

simplify500.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

762×	`associate-l_binary64`
365×	`distribute-rgt-in_binary64`
362×	`fma-def_binary64`
359×	`distribute-lft-in_binary64`
257×	`*-commutative_binary64`

Counts

520 → 293

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	529	18648
1	1483	18276
2	5219	18276

prune3.3s (2.9%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	271	22	293
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	272	22	294

Error

16.1b

Counts

294 → 22

Alt Table

Status	Error	Program
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 a y1)) z)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
▶	27.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	46.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	39.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	35.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3))) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 k y2) (.f64 j y3))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 y2 k) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 y2 k) (*.f64 y3 j)))))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	37.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)) (-.f64 (.f64 y2 k) (.f64 y3 j))) 3)))
	31.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3))) (.f64 (fma.f64 (neg.f64 a) y5 (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	32.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 37229 to 5039 computations (86.5% saved)

localize138.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.9b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
	8.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
	8.5b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series129.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

125.0ms

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

14.0ms

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

simplify192.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-def_binary64`
719×	`distribute-rgt-in_binary64`
693×	`distribute-lft-in_binary64`
228×	`cancel-sign-sub-inv_binary64`
195×	`associate-l_binary64`

Counts

130 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	138	4662
1	404	4566
2	1604	4266
3	5265	4266

prune4.0s (3.6%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	287	9	296
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	291	27	318

Error

14.1b

Counts

318 → 27

Alt Table

Status	Error	Program
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 y2 k) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 y2 k) (.f64 y3 j)))))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 a y1)) z)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	32.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	46.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	39.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	35.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3))) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 k y2) (.f64 j y3))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	45.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	34.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (fma.f64 a b (.f64 c i)) (.f64 (-.f64 (.f64 a b) (.f64 c i)) (-.f64 (.f64 y x) (.f64 t z)))) (+.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	31.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
▶	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (exp.f64 (log.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (-.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3))) (.f64 (fma.f64 (neg.f64 a) y5 (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	36.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)) (-.f64 (.f64 y2 k) (*.f64 y3 j))) 3)))
	29.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 y (.f64 a (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Compiler

Compiled 43766 to 6057 computations (86.2% saved)

localize143.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.5b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	8.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
	8.5b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series127.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

127.0ms

(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

14.0ms

(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))

simplify184.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary64`
743×	`distribute-rgt-in_binary64`
730×	`distribute-lft-in_binary64`
196×	`associate-l_binary64`
186×	`associate-r_binary64`

Counts

130 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	4662
1	404	4566
2	1622	4266
3	5466	4266

prune4.9s (4.4%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	287	8	295
Fresh	3	23	26
Picked	1	0	1
Done	0	0	0
Total	291	31	322

Error

11.1b

Counts

322 → 31

Alt Table

Status	Error	Program
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 y2 k) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 y2 k) (.f64 y3 j)))))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 a y1)) z)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	45.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	46.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	39.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	35.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3))) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 k y2) (.f64 j y3))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	45.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	34.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (fma.f64 a b (.f64 c i)) (.f64 (-.f64 (.f64 a b) (.f64 c i)) (-.f64 (.f64 y x) (.f64 t z)))) (+.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	36.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)) (-.f64 (.f64 y2 k) (*.f64 y3 j))) 3)))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 y (.f64 a (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (/.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 (.f64 y4 b) (.f64 y4 b)) (.f64 (.f64 y5 i) (.f64 y5 i)))) (+.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
▶	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3))) (.f64 (fma.f64 (neg.f64 a) y5 (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 47540 to 6567 computations (86.2% saved)

localize134.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	8.5b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
	9.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
✓	9.6b	(.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3)))
✓	49.5b	(fma.f64 (neg.f64 a) y5 (*.f64 a y5))

series133.0ms (0.1%)

Counts

2 → 120

Calls

2 calls:

118.0ms	(.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3)))
15.0ms	(fma.f64 (neg.f64 a) y5 (*.f64 a y5))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 38

Calls

2 calls:

10.0ms	(.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3)))
1.0ms	(fma.f64 (neg.f64 a) y5 (*.f64 a y5))

simplify224.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

614×	`fma-neg_binary64`
367×	`fma-def_binary64`
358×	`distribute-rgt-in_binary64`
351×	`cancel-sign-sub-inv_binary64`
340×	`distribute-lft-in_binary64`

Counts

158 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	4495
1	276	4376
2	980	4016
3	2755	2780
4	4511	2780
5	4855	2780

prune3.7s (3.4%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	223	1	224
Fresh	1	29	30
Picked	1	0	1
Done	0	0	0
Total	225	30	255

Error

11.1b

Counts

255 → 30

Alt Table

Status	Error	Program
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (-.f64 (.f64 y0 b) (.f64 y1 i))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 y2 k) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 y2 k) (.f64 y3 j)))))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 (-.f64 (.f64 c y0) (.f64 a y1)) z)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 (fma.f64 y4 c (neg.f64 (.f64 a y5))) (-.f64 (.f64 t y2) (.f64 y y3))) (.f64 (fma.f64 (neg.f64 a) y5 (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (.f64 y0 y5)) y2)))
	29.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 y2 x) (.f64 y3 z)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 y2 x) (.f64 y3 z))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	45.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (*.f64 y0 y5)) y2)))
	32.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	46.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (.f64 (sqrt.f64 (-.f64 (.f64 k y2) (.f64 j y3))) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))))
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 y4 (.f64 (-.f64 (.f64 t j) (.f64 k y)) b))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	39.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (sqrt.f64 (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	35.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3))) (-.f64 (.f64 y4 y1) (.f64 y5 y0))) (+.f64 (.f64 k y2) (.f64 j y3))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) (-.f64 (.f64 t y2) (.f64 y y3))) 3))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	45.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (.f64 (sqrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 k y)))))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	34.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (fma.f64 a b (.f64 c i)) (.f64 (-.f64 (.f64 a b) (.f64 c i)) (-.f64 (.f64 y x) (.f64 t z)))) (+.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	36.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)) (-.f64 (.f64 y2 k) (*.f64 y3 j))) 3)))
	29.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 y (.f64 a (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	36.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (/.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 (.f64 y4 b) (.f64 y4 b)) (.f64 (.f64 y5 i) (.f64 y5 i)))) (+.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 31373 to 3623 computations (88.5% saved)

regimes26.9s (24.3%)

Accuracy

Total 18.2b remaining (63.4%)

Threshold costs 0b (0%)

Counts

214 → 10

Compiler

Compiled 460837 to 253887 computations (44.9% saved)

bsearch5.9s (5.3%)

Steps

Iters	Range		Point
8	2.953923059825535e+209	1.7198359231746944e+216	3.710958107572736e+214
1	7.848057987465408e+164	6.627382057528546e+170	7.254232084859899e+167
4	4.924944942010099e+59	5.747424032135267e+61	4.337347052576901e+61
8	8.296608513038028e-119	2.5845540889787754e-115	7.2281729213613215e-118
3	1.4011586706735304e-227	1.7062824724423154e-227	1.4583693835051775e-227
6	8.31175304971547e-287	1.194654384308124e-285	1.0685914763402614e-285
8	-9.440228406410114e-206	-3.0873230544400623e-212	-1.0040207346650277e-209
4	-1.1194792305718232e-66	-2.1419362755107245e-68	-2.806277006557273e-68
5	-4.154407902188049e+35	-6.160978119863808e+27	-2.909509653808407e+31

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify416.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

627×	`neg-sub0_binary64`
626×	`neg-mul-1_binary64`
603×	`distribute-rgt-neg-in_binary64`
495×	`distribute-lft-neg-in_binary64`
436×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	221	1734
1	465	1732
2	660	1732
3	928	1732
4	1275	1732
5	1558	1732
6	1947	1732
7	2387	1732
8	2796	1732
9	2833	1732
10	2959	1732
11	3059	1732
12	3313	1732
13	3627	1732
14	3684	1732
15	3753	1732
16	3832	1732
17	3923	1732
18	4001	1732
19	3976	1732
20	3976	1732
21	4004	1732
22	3990	1732
23	3990	1732
24	4004	1732
25	4000	1732

end5.0ms (0%)

Compiler: Compiled 1174 to 197 computations (83.2% saved)

sample43.2s (39.1%)

Algorithm

1×

intervals

Results

28.3s	65866×	body	128	invalid
3.7s	8000×	body	128	valid

Compiler

Compiled 5194 to 2367 computations (54.4% saved)

Details

analyze13.9s (12.6%)

sample1.6s (1.5%)

simplify55.0ms (0%)

prune16.0ms (0%)

localize121.0ms (0.1%)

series501.0ms (0.5%)

rewrite84.0ms (0.1%)

simplify500.0ms (0.5%)

prune3.3s (2.9%)

localize138.0ms (0.1%)

series129.0ms (0.1%)

rewrite19.0ms (0%)

simplify192.0ms (0.2%)

prune4.0s (3.6%)

localize143.0ms (0.1%)

series127.0ms (0.1%)

rewrite23.0ms (0%)

simplify184.0ms (0.2%)

prune4.9s (4.4%)

localize134.0ms (0.1%)

series133.0ms (0.1%)

rewrite16.0ms (0%)

simplify224.0ms (0.2%)

prune3.7s (3.4%)

regimes26.9s (24.3%)

bsearch5.9s (5.3%)

simplify416.0ms (0.4%)

end5.0ms (0%)

sample43.2s (39.1%)

Profiling