acot asinh Pow Mul atan asec x0 x5 pi 
Mul -1 Mul Mul Mul Pow Mul atan asec x0 x5 Add pi -1 Mul pi Mul x5 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul asec x0 asec x0 -1 Pow sqrt Add 1 Mul Pow Mul atan asec x0 x5 pi Pow Mul atan asec x0 x5 pi -1 Pow Add 1 Mul asinh Pow Mul atan asec x0 x5 pi asinh Pow Mul atan asec x0 x5 pi -1 