Mul Pow x0 Add acoth Pow x0 x0 asec pi csch Add Pow Mul x0 acos log tan Mul -2 x1 x4 x1 
Add Mul csch Add Pow Mul x0 acos log tan Mul -2 x1 x4 x1 Mul Pow x0 Add Add acoth Pow x0 x0 asec pi -1 Add Add acoth Pow x0 x0 asec pi Mul Mul x0 log x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Mul Pow x0 Add acoth Pow x0 x0 asec pi Mul Mul Mul -1 coth Add Pow Mul x0 acos log tan Mul -2 x1 x4 x1 csch Add Pow Mul x0 acos log tan Mul -2 x1 x4 x1 Mul Pow Mul x0 acos log tan Mul -2 x1 Add x4 -1 Mul x4 acos log tan Mul -2 x1 