acos asech Pow Add sinh Pow x0 x6 x0 3 
Mul -1 Mul Mul Mul Pow Add sinh Pow x0 x6 x0 2 Mul 3 Add Mul cosh Pow x0 x6 Mul Pow x0 Add x6 -1 x6 1 Pow Mul Mul Pow Add sinh Pow x0 x6 x0 3 Pow Add sinh Pow x0 x6 x0 3 sqrt Add 1 Mul -1 Pow Mul Pow Add sinh Pow x0 x6 x0 3 Pow Add sinh Pow x0 x6 x0 3 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Pow Add sinh Pow x0 x6 x0 3 asech Pow Add sinh Pow x0 x6 x0 3 -1 