atan Mul Mul x0 pi Add Mul Pow x1 x0 cosh x0 acoth tanh asech csch Mul x1 Pow x3 x4 
Mul Add Mul Add Mul Pow x1 x0 cosh x0 acoth tanh asech csch Mul x1 Pow x3 x4 pi Mul Mul x0 pi Add Mul cosh x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 sinh x0 Pow Add 1 Mul Mul Mul x0 pi Add Mul Pow x1 x0 cosh x0 acoth tanh asech csch Mul x1 Pow x3 x4 Mul Mul x0 pi Add Mul Pow x1 x0 cosh x0 acoth tanh asech csch Mul x1 Pow x3 x4 -1 