Mul Pow sech Mul x0 4 Pow x0 x5 Add pi Add atan x0 exp exp Add Mul x0 -4 sinh acoth x7 
Add Mul Add pi Add atan x0 exp exp Add Mul x0 -4 sinh acoth x7 Mul Pow sech Mul x0 4 Add Pow x0 x5 -1 Add Mul Pow x0 x5 Mul Mul tanh Mul x0 4 Mul -1 sech Mul x0 4 4 Mul Mul sech Mul x0 4 log sech Mul x0 4 Mul Pow x0 Add x5 -1 x5 Mul Pow sech Mul x0 4 Pow x0 x5 Add Pow Add 1 Mul x0 x0 -1 Mul exp exp Add Mul x0 -4 sinh acoth x7 Mul exp Add Mul x0 -4 sinh acoth x7 -4 