Add x0 acos Add -5 Mul atan x4 csch Mul Mul x0 Add asec x1 pi 4 
Add 1 Mul -1 Mul Mul atan x4 Mul Mul Mul -1 coth Mul Mul x0 Add asec x1 pi 4 csch Mul Mul x0 Add asec x1 pi 4 Mul 4 Add asec x1 pi Pow sqrt Add 1 Mul -1 Mul Add -5 Mul atan x4 csch Mul Mul x0 Add asec x1 pi 4 Add -5 Mul atan x4 csch Mul Mul x0 Add asec x1 pi 4 -1 