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