Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, K

analyze443.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
25%	24.9%	74.8%	0.3%	0%	0%	0%	7
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	8
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	9
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	10
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	11
33.3%	24.9%	49.9%	0.3%	0%	24.9%	0%	12

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample3.7min (99.6%)

Results

2.2s	5085×	0	valid-rival
1.3s	5072×	0	valid-sollya
1.4s	4110×	0	invalid-rival
19.6s	3926×	0	exit-sollya
2.6s	3171×	1	valid-rival
1.6s	3168×	1	valid-sollya
916.0ms	197×	0	invalid-sollya
15.0ms	3×	1	exit-sollya

Bogosity

preprocess312.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

556×	`fma-neg`
449×	`unsub-neg`
427×	`neg-mul-1`
414×	`sub-neg`
386×	`fma-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	2247
1	399	2103
2	904	1975
3	2041	1951
4	5166	1951
5	6911	1951

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (neg.f64 t)) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 (neg.f64 a) (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 (neg.f64 b) #s(literal 3 binary64))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (neg.f64 t)) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 (neg.f64 a) (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 (neg.f64 b) #s(literal 3 binary64)))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (cos.f64 (-.f64 x (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 z)) (cos.f64 (-.f64 y (/.f64 (.f64 x t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 t)) (cos.f64 (-.f64 y (/.f64 (.f64 z x) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 a)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 x (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 b)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 x #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 z (/.f64 (.f64 y t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 t (/.f64 (.f64 z y) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 a (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 y (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 b (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 y #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 t z) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 a t) #s(literal 3 binary64))))) (/.f64 z (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 b t) #s(literal 3 binary64))))) (/.f64 a (.f64 z #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z a) #s(literal 3 binary64))))) (/.f64 t (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z b) #s(literal 3 binary64))))) (/.f64 a (.f64 t #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 b (.f64 a #s(literal 3 binary64))))

Outputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 (neg.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64)))) (sqrt.f64 (neg.f64 x))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (neg.f64 t)) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 (neg.f64 a) (.f64 b #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 #s(literal 3 binary64) b))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 a (*.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a b) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 (neg.f64 b) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 #s(literal 3 binary64) b))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 a (*.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a b) #s(literal 1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 (neg.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))))) (/.f64 a (.f64 #s(literal 3 binary64) b))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64)))) (sqrt.f64 (neg.f64 x))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b))))
(-.f64 (.f64 (/.f64 a b) #s(literal 1/3 binary64)) (.f64 #s(literal 2 binary64) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (sqrt.f64 (neg.f64 x)))))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 (sqrt.f64 (neg.f64 x)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b))))
(neg.f64 (fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64))))
(fma.f64 (sqrt.f64 x) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b))))
(neg.f64 (fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64))))
(fma.f64 (sqrt.f64 x) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (neg.f64 t)) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64)))))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 #s(literal -1 binary64) y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b))))
(neg.f64 (fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 t #s(literal 3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64))))
(fma.f64 (sqrt.f64 x) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal 1/3 binary64)) y)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal 1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 (neg.f64 a) (.f64 b #s(literal 3 binary64)))))
(neg.f64 (fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 #s(literal 3 binary64) b)))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 a (*.f64 #s(literal 3 binary64) b))))
(+.f64 (.f64 (/.f64 a b) #s(literal -1/3 binary64)) (.f64 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) #s(literal -2 binary64)))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 (sqrt.f64 x) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 (sqrt.f64 x) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(neg.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 (neg.f64 b) #s(literal 3 binary64)))))
(neg.f64 (fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 #s(literal 3 binary64) b)))))
(neg.f64 (fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 a (*.f64 #s(literal 3 binary64) b))))
(+.f64 (.f64 (/.f64 a b) #s(literal -1/3 binary64)) (.f64 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) #s(literal -2 binary64)))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 (sqrt.f64 x) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 (sqrt.f64 x) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) #s(literal -2 binary64)) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (cos.f64 (-.f64 x (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (cos.f64 (-.f64 x (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (cos.f64 (+.f64 x (/.f64 (.f64 z t) #s(literal -3 binary64)))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) x)) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 y) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) x))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 z)) (cos.f64 (-.f64 y (/.f64 (.f64 x t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 z) (cos.f64 (-.f64 y (.f64 x (/.f64 t #s(literal 3 binary64))))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 z) (cos.f64 (-.f64 y (.f64 x (/.f64 t #s(literal 3 binary64)))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 z)) (cos.f64 (fma.f64 x (.f64 t #s(literal -1/3 binary64)) y)) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 z)) (cos.f64 (fma.f64 x (.f64 t #s(literal -1/3 binary64)) y)) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 a (/.f64 #s(literal -1/3 binary64) b) (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 z)) (cos.f64 (fma.f64 x (*.f64 t #s(literal -1/3 binary64)) y))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 t)) (cos.f64 (-.f64 y (/.f64 (.f64 z x) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 t)) (cos.f64 (-.f64 y (.f64 z (/.f64 x #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 t) (cos.f64 (+.f64 y (/.f64 (.f64 x z) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (sqrt.f64 t) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 x #s(literal -3 binary64)) y))) (.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 t) (cos.f64 (fma.f64 x (.f64 z #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 a)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 x (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 a) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))))) (/.f64 x (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64)))) (sqrt.f64 a)) (/.f64 x (*.f64 b #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (sqrt.f64 a)) (*.f64 (/.f64 x b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (sqrt.f64 a)) (*.f64 x (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 b)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 b)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 a (*.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64)))) (sqrt.f64 b)) (/.f64 (/.f64 a x) #s(literal -3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (sqrt.f64 b)) (*.f64 (/.f64 a x) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 b) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) x)))
(fma.f64 (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y)) (.f64 #s(literal 2 binary64) (sqrt.f64 b)) (*.f64 a (/.f64 #s(literal -1/3 binary64) x)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 z (/.f64 (.f64 y t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 z (.f64 y (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (+.f64 z (/.f64 (.f64 y t) #s(literal -3 binary64)))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 y (.f64 t #s(literal -1/3 binary64)) z))) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 y (.f64 t #s(literal -1/3 binary64)) z))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 t (/.f64 (.f64 z y) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 t (.f64 z (/.f64 y #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 t (/.f64 (.f64 y z) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (fma.f64 z (/.f64 y #s(literal -3 binary64)) t)) (.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 y (.f64 z #s(literal -1/3 binary64)) t))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 a (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 y (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 a (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 y (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 a (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 y (*.f64 b #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) a))) (*.f64 (/.f64 y b) #s(literal -1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) a)) (*.f64 y (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 b (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 y #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 b (.f64 z (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 a (*.f64 y #s(literal 3 binary64)))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (+.f64 b (/.f64 (.f64 z t) #s(literal -3 binary64)))) (/.f64 (/.f64 a y) #s(literal -3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) b))) (/.f64 (*.f64 a #s(literal -1/3 binary64)) y))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) b)) (*.f64 a (/.f64 #s(literal -1/3 binary64) y)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) b))) (*.f64 a (/.f64 #s(literal -1/3 binary64) y)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 t z) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 a (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (*.f64 #s(literal -1/3 binary64) (/.f64 a b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 a t) #s(literal 3 binary64))))) (/.f64 z (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (-.f64 y (.f64 a (/.f64 t #s(literal 3 binary64))))))) (/.f64 z (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (-.f64 y (.f64 t (/.f64 a #s(literal 3 binary64)))))) (/.f64 z (*.f64 b #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 a (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 z b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (.f64 a #s(literal -1/3 binary64)) y))) (*.f64 z (/.f64 #s(literal -1/3 binary64) b)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 t (.f64 a #s(literal -1/3 binary64)) y))) (*.f64 z (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 b t) #s(literal 3 binary64))))) (/.f64 a (.f64 z #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 b (/.f64 t #s(literal 3 binary64))))) (neg.f64 (/.f64 a (*.f64 z #s(literal 3 binary64)))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (-.f64 y (.f64 t (/.f64 b #s(literal 3 binary64)))))) (/.f64 (/.f64 a z) #s(literal -3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 b (.f64 t #s(literal -1/3 binary64)) y))) (/.f64 a (*.f64 z #s(literal -3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (fma.f64 t (.f64 b #s(literal -1/3 binary64)) y)) (*.f64 a (/.f64 #s(literal -1/3 binary64) z)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 t (.f64 b #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) z)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z a) #s(literal 3 binary64))))) (/.f64 t (.f64 b #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (-.f64 y (.f64 z (/.f64 a #s(literal 3 binary64))))))) (/.f64 t (.f64 #s(literal 3 binary64) b)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z a) #s(literal -3 binary64))))) (/.f64 t (*.f64 b #s(literal -3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 a #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 t b) #s(literal -1/3 binary64)))
(fma.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 a #s(literal -1/3 binary64)) y)) (*.f64 (/.f64 t b) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 a #s(literal -1/3 binary64)) y))) (*.f64 t (/.f64 #s(literal -1/3 binary64) b)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z b) #s(literal 3 binary64))))) (/.f64 a (.f64 t #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 b #s(literal 3 binary64)))))) (/.f64 a (.f64 t #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z b) #s(literal -3 binary64))))) (/.f64 (/.f64 a t) #s(literal -3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (/.f64 b #s(literal -3 binary64)) y))) (.f64 (/.f64 a t) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 b #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 a t) #s(literal -1/3 binary64)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 2 binary64) (cos.f64 (fma.f64 z (.f64 b #s(literal -1/3 binary64)) y))) (*.f64 a (/.f64 #s(literal -1/3 binary64) t)))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 b (.f64 a #s(literal 3 binary64))))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 z (/.f64 t #s(literal 3 binary64)))))) (/.f64 b (.f64 #s(literal 3 binary64) a)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 (.f64 z t) #s(literal -3 binary64))))) (/.f64 (/.f64 b a) #s(literal -3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 (/.f64 b a) #s(literal -1/3 binary64)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (*.f64 b (/.f64 #s(literal -1/3 binary64) a)))
(fma.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t #s(literal -1/3 binary64)) y))) (/.f64 (*.f64 #s(literal -1/3 binary64) b) a))

Symmetry

(sort z t)

Compiler

Compiled 25 to 18 computations (28% saved)

eval0.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	70.4%	(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Compiler

Compiled 50 to 36 computations (28% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative`
11×	`sub-neg`
11×	`+-commutative`
9×	`neg-sub0`
9×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	75
1	36	75
2	52	75
3	75	75
4	91	75
5	101	75
6	104	75

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) #s(literal 3 binary64))))) (/.f64 a (.f64 b #s(literal 3 binary64))))

Outputs

(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))

(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 #s(literal 3 binary64) b)))

soundness2.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 25 to 18 computations (28% saved)

preprocess107.0ms (0%)

Remove: (sort z t)
Compiler: Compiled 346 to 224 computations (35.3% saved)

Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, K

analyze443.0ms (0.2%)

sample3.7min (99.6%)

preprocess312.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify7.0ms (0%)

soundness2.0ms (0%)

preprocess107.0ms (0%)

end0.0ms (0%)

Profiling