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