Pow asin sinh x2 Pow Mul -2 atanh Mul Add asec x5 pi E atan Add 1.57079632679490 x0 
Mul Pow asin sinh x2 Add Pow Mul -2 atanh Mul Add asec x5 pi E atan Add 1.57079632679490 x0 -1 Mul Mul asin sinh x2 log asin sinh x2 Mul Pow Mul -2 atanh Mul Add asec x5 pi E Add atan Add 1.57079632679490 x0 -1 Mul Mul Mul -2 atanh Mul Add asec x5 pi E log Mul -2 atanh Mul Add asec x5 pi E Pow Add 1 Mul Add 1.57079632679490 x0 Add 1.57079632679490 x0 -1 