Pow atan Mul Mul Pow x0 atan asec x0 x1 Mul x1 Add x2 Pow x4 pi Mul acoth x4 -4 
Mul Pow atan Mul Mul Pow x0 atan asec x0 x1 Mul x1 Add x2 Pow x4 pi Add Mul acoth x4 -4 -1 Mul Mul acoth x4 -4 Mul Mul Mul x1 Add x2 Pow x4 pi Mul x1 Mul Pow x0 Add atan asec x0 -1 Add atan asec x0 Mul Mul x0 log x0 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 Add 1 Mul Mul Mul Pow x0 atan asec x0 x1 Mul x1 Add x2 Pow x4 pi Mul Mul Pow x0 atan asec x0 x1 Mul x1 Add x2 Pow x4 pi -1 