Mul Pow x0 -4 Mul Add atan Add x1 tan Pow Pow x0 Mul log x0 x2 pi x0 asech acoth x0 
Add Mul Mul Add atan Add x1 tan Pow Pow x0 Mul log x0 x2 pi x0 asech acoth x0 Mul Pow x0 5 -4 Mul Pow x0 -4 Add Mul asech acoth x0 Add Mul Mul Pow sec Pow Pow x0 Mul log x0 x2 pi 2 Mul Pow Pow x0 Mul log x0 x2 Add pi -1 Mul pi Mul Pow x0 Add Mul log x0 x2 -1 Add Mul log x0 x2 Mul Mul x0 log x0 Mul x2 Pow x0 -1 Pow Add 1 Mul Add x1 tan Pow Pow x0 Mul log x0 x2 pi Add x1 tan Pow Pow x0 Mul log x0 x2 pi -1 1 Mul Add atan Add x1 tan Pow Pow x0 Mul log x0 x2 pi x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 