Mul Pow atan Add asec x0 x4 Mul x3 Mul atanh x0 -3 Pow acos pi Add x0 acoth x0 
Add Mul Pow acos pi Add x0 acoth x0 Mul Pow atan Add asec x0 x4 Add Mul x3 Mul atanh x0 -3 -1 Add Mul Mul x3 Mul atanh x0 -3 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Add asec x0 x4 Add asec x0 x4 -1 Mul Mul atan Add asec x0 x4 log atan Add asec x0 x4 Mul x3 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow atan Add asec x0 x4 Mul x3 Mul atanh x0 -3 Mul Pow acos pi Add Add x0 acoth x0 -1 Mul Mul acos pi log acos pi Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 