Mul asin Mul x0 pi cosh Add sqrt Mul x2 Mul acot x5 x4 cosh x0 
Add Mul cosh Add sqrt Mul x2 Mul acot x5 x4 cosh x0 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 Mul asin Mul x0 pi Mul sinh Add sqrt Mul x2 Mul acot x5 x4 cosh x0 sinh x0 