Mul x2 acot sinh asin Pow x0 cos x6 
Mul x2 Mul -1 Mul Mul cosh asin Pow x0 cos x6 Mul Mul Pow x0 Add cos x6 -1 cos x6 Pow sqrt Add 1 Mul -1 Mul Pow x0 cos x6 Pow x0 cos x6 -1 Pow Add 1 Mul sinh asin Pow x0 cos x6 sinh asin Pow x0 cos x6 -1 