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

Time bar (total: 4.2s)

analyze463.0ms (11%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 20 computations (23.1% saved)

sample3.3s (78.4%)

Results
995.0ms1347×body1024valid
855.0ms4569×body256valid
612.0ms4095×body256invalid
361.0ms558×body2048valid
267.0ms751×body512valid
184.0ms1028×body256infinite
3.0ms3×body4096valid
Bogosity

preprocess444.0ms (10.6%)

Algorithm
1×egg-herbie
Rules
577×fma-def
539×associate-/l/
429×associate-+r+
413×associate--r+
354×+-commutative
Problems
129×(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
127×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01602247
13972139
28392031
320571951
453781951
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 (neg.f64 z) t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z (neg.f64 t)) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (neg.f64 a) (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 (neg.f64 b) 3)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 (neg.f64 z) t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z (neg.f64 t)) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (neg.f64 a) (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 (neg.f64 b) 3))))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 y)) (cos.f64 (-.f64 x (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 z)) (cos.f64 (-.f64 y (/.f64 (*.f64 x t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 t)) (cos.f64 (-.f64 y (/.f64 (*.f64 z x) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 a)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 x (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 b)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 x 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 z (/.f64 (*.f64 y t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 t (/.f64 (*.f64 z y) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 a (/.f64 (*.f64 z t) 3)))) (/.f64 y (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 b (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 y 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 t z) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 a t) 3)))) (/.f64 z (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 b t) 3)))) (/.f64 a (*.f64 z 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z a) 3)))) (/.f64 t (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z b) 3)))) (/.f64 a (*.f64 t 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 b (*.f64 a 3)))
Outputs
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t))))) (/.f64 a (*.f64 3 b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t))))) (/.f64 a (*.f64 3 b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (*.f64 2 (sqrt.f64 (neg.f64 x)))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (sqrt.f64 (neg.f64 x))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 2 (*.f64 (cos.f64 (fma.f64 (/.f64 z -3) t y)) (sqrt.f64 (neg.f64 x))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (*.f64 2 (sqrt.f64 (neg.f64 x))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (/.f64 t 3) y)) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 (neg.f64 z) t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (/.f64 t 3) y)) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z (neg.f64 t)) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (/.f64 t 3) y)) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (neg.f64 a) (*.f64 b 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 3 b))))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 z -3) t y))) (*.f64 (/.f64 a b) 1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y))) (/.f64 a (*.f64 3 b)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 (neg.f64 b) 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 3 b))))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 z -3) t y))) (*.f64 (/.f64 a b) 1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y))) (/.f64 a (*.f64 3 b)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 (neg.f64 x))) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (*.f64 2 (sqrt.f64 (neg.f64 x)))) (/.f64 a (*.f64 3 b))))
(neg.f64 (fma.f64 2 (*.f64 (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (sqrt.f64 (neg.f64 x))) (*.f64 -1/3 (/.f64 a b))))
(-.f64 (*.f64 (/.f64 a b) 1/3) (*.f64 2 (*.f64 (cos.f64 (fma.f64 (/.f64 z -3) t y)) (sqrt.f64 (neg.f64 x)))))
(fma.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (*.f64 (sqrt.f64 (neg.f64 x)) -2) (/.f64 a (*.f64 3 b)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 (neg.f64 y) (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b))))
(neg.f64 (fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b))))
(+.f64 (*.f64 (/.f64 a b) 1/3) (*.f64 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y))) -2))
(fma.f64 (cos.f64 (fma.f64 z (/.f64 t 3) y)) (*.f64 (sqrt.f64 x) -2) (/.f64 a (*.f64 3 b)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 (neg.f64 z) t) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b))))
(neg.f64 (fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b))))
(+.f64 (*.f64 (/.f64 a b) 1/3) (*.f64 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y))) -2))
(fma.f64 (cos.f64 (fma.f64 z (/.f64 t 3) y)) (*.f64 (sqrt.f64 x) -2) (/.f64 a (*.f64 3 b)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z (neg.f64 t)) 3)))) (/.f64 a (*.f64 b 3))))
(neg.f64 (-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (neg.f64 y) (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b))))
(neg.f64 (fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 -1 y (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b))))
(+.f64 (*.f64 (/.f64 a b) 1/3) (*.f64 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 (*.f64 t (/.f64 z -3)) y))) -2))
(fma.f64 (cos.f64 (fma.f64 z (/.f64 t 3) y)) (*.f64 (sqrt.f64 x) -2) (/.f64 a (*.f64 3 b)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (neg.f64 a) (*.f64 b 3))))
(neg.f64 (fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 3 b)))))
(neg.f64 (fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (/.f64 a (*.f64 3 b))))
(-.f64 (*.f64 (/.f64 a b) -1/3) (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y))))
(fma.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (*.f64 (sqrt.f64 x) -2) (/.f64 a (*.f64 b -3)))
(neg.f64 (-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 (neg.f64 b) 3))))
(neg.f64 (fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 (neg.f64 a) (*.f64 3 b)))))
(neg.f64 (fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (/.f64 a (*.f64 3 b))))
(-.f64 (*.f64 (/.f64 a b) -1/3) (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y))))
(fma.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (*.f64 (sqrt.f64 x) -2) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 y)) (cos.f64 (-.f64 x (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 2 (*.f64 (sqrt.f64 y) (cos.f64 (-.f64 x (/.f64 z (/.f64 3 t)))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 y) (cos.f64 (+.f64 x (/.f64 z (/.f64 -3 t))))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 2 (*.f64 (sqrt.f64 y) (cos.f64 (fma.f64 (/.f64 z -3) t x))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 y) (cos.f64 (fma.f64 t (*.f64 -1/3 z) x))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 z)) (cos.f64 (-.f64 y (/.f64 (*.f64 x t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 z)) (cos.f64 (-.f64 y (/.f64 x (/.f64 3 t))))) (/.f64 a (*.f64 3 b)))
(fma.f64 (*.f64 2 (sqrt.f64 z)) (cos.f64 (-.f64 y (*.f64 (/.f64 x 3) t))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (sqrt.f64 z) (*.f64 2 (cos.f64 (+.f64 y (/.f64 x (/.f64 -3 t))))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 z) (cos.f64 (fma.f64 (/.f64 x -3) t y))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 t)) (cos.f64 (-.f64 y (/.f64 (*.f64 z x) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 t)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 x))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 t) (cos.f64 (-.f64 y (/.f64 x (/.f64 3 z))))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 2 (*.f64 (sqrt.f64 t) (cos.f64 (+.f64 y (*.f64 (/.f64 z -3) x)))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (sqrt.f64 t) (*.f64 2 (cos.f64 (fma.f64 (*.f64 -1/3 z) x y))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 a)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 x (*.f64 b 3)))
(-.f64 (*.f64 (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (*.f64 2 (sqrt.f64 a))) (/.f64 x (*.f64 3 b)))
(-.f64 (*.f64 (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (*.f64 2 (sqrt.f64 a))) (/.f64 x (*.f64 3 b)))
(fma.f64 2 (*.f64 (cos.f64 (fma.f64 (/.f64 z -3) t y)) (sqrt.f64 a)) (*.f64 (/.f64 x b) -1/3))
(fma.f64 2 (*.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (sqrt.f64 a)) (*.f64 (/.f64 -1/3 b) x))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 b)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 x 3)))
(fma.f64 (*.f64 2 (sqrt.f64 b)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 a (*.f64 x 3))))
(fma.f64 2 (*.f64 (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (sqrt.f64 b)) (/.f64 (neg.f64 a) (*.f64 x 3)))
(fma.f64 2 (*.f64 (cos.f64 (fma.f64 (/.f64 z -3) t y)) (sqrt.f64 b)) (*.f64 (/.f64 a x) -1/3))
(fma.f64 2 (*.f64 (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (sqrt.f64 b)) (/.f64 a (/.f64 x -1/3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 z (/.f64 (*.f64 y t) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 z (/.f64 y (/.f64 3 t))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 z (*.f64 (/.f64 y 3) t)))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 z (/.f64 y (/.f64 -3 t)))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 y -3) t z))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 t (/.f64 (*.f64 z y) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 t (/.f64 (*.f64 y z) 3))))) (/.f64 a (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (-.f64 t (*.f64 (/.f64 z 3) y)))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (sqrt.f64 x) (*.f64 2 (cos.f64 (+.f64 t (*.f64 (/.f64 z -3) y)))) (*.f64 (/.f64 a b) -1/3))
(fma.f64 (sqrt.f64 x) (*.f64 2 (cos.f64 (fma.f64 (*.f64 -1/3 z) y t))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 a (/.f64 (*.f64 z t) 3)))) (/.f64 y (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 a (/.f64 z (/.f64 3 t))))) (/.f64 y (*.f64 3 b)))
(-.f64 (*.f64 (sqrt.f64 x) (*.f64 2 (cos.f64 (-.f64 a (*.f64 (/.f64 t 3) z))))) (/.f64 y (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 z -3) t a))) (*.f64 (/.f64 y b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (*.f64 -1/3 t) z a))) (*.f64 (/.f64 y b) -1/3))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 b (/.f64 (*.f64 z t) 3)))) (/.f64 a (*.f64 y 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 b (/.f64 z (/.f64 3 t)))) (neg.f64 (/.f64 a (*.f64 y 3))))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 b (/.f64 z (/.f64 -3 t)))) (/.f64 (neg.f64 a) (*.f64 y 3)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 z -3) t b))) (*.f64 (/.f64 a y) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (*.f64 -1/3 t) z b))) (/.f64 (*.f64 a -1/3) y))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 t z) 3)))) (/.f64 a (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t))))) (/.f64 a (*.f64 3 b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t)))) (*.f64 -1/3 (/.f64 a b)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y)) (*.f64 (/.f64 a b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y))) (/.f64 a (*.f64 b -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 a t) 3)))) (/.f64 z (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 a (/.f64 3 t))))) (/.f64 z (*.f64 3 b)))
(-.f64 (*.f64 (sqrt.f64 x) (*.f64 2 (cos.f64 (-.f64 y (*.f64 (/.f64 a 3) t))))) (/.f64 z (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 a (/.f64 -3 t))))) (*.f64 (/.f64 z b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (*.f64 a -1/3) t y))) (*.f64 (/.f64 -1/3 b) z))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 b t) 3)))) (/.f64 a (*.f64 z 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 b (/.f64 3 t)))) (neg.f64 (/.f64 (/.f64 a z) 3)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (/.f64 b (/.f64 -3 t))))) (*.f64 (/.f64 a z) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (/.f64 b -3) t y))) (/.f64 a (*.f64 z -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z a) 3)))) (/.f64 t (*.f64 b 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 a))))) (/.f64 t (*.f64 3 b)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (*.f64 (/.f64 z 3) a)))) (/.f64 t (*.f64 3 b)))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (+.f64 y (*.f64 (/.f64 z -3) a)))) (*.f64 (/.f64 t b) -1/3))
(fma.f64 2 (*.f64 (sqrt.f64 x) (cos.f64 (fma.f64 (*.f64 -1/3 z) a y))) (/.f64 (*.f64 t -1/3) b))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z b) 3)))) (/.f64 a (*.f64 t 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (*.f64 (/.f64 z 3) b))) (/.f64 (neg.f64 a) (*.f64 t 3)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (*.f64 (/.f64 z -3) b))) (*.f64 (/.f64 a t) -1/3))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (*.f64 -1/3 z) b y)) (/.f64 a (*.f64 t -3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 b (*.f64 a 3)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 z (/.f64 3 t))))) (/.f64 b (*.f64 3 a)))
(-.f64 (*.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (+.f64 y (/.f64 z (/.f64 -3 t))))) (/.f64 b (*.f64 3 a)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 (/.f64 z -3) t y)) (*.f64 (/.f64 b a) -1/3))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (/.f64 (/.f64 b -3) a))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 t (*.f64 -1/3 z) y)) (/.f64 b (*.f64 a -3)))
Symmetry

(sort z t)

Compiler

Compiled 84 to 45 computations (46.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...