Mul Pow tanh x2 x0 Mul x0 Mul x0 sech Mul x0 Mul -2 acot sinh x5 
Add Mul Mul x0 Mul x0 sech Mul x0 Mul -2 acot sinh x5 Mul Pow tanh x2 Add x0 -1 Mul tanh x2 log tanh x2 Mul Pow tanh x2 x0 Add Mul x0 sech Mul x0 Mul -2 acot sinh x5 Mul x0 Add sech Mul x0 Mul -2 acot sinh x5 Mul x0 Mul Mul tanh Mul x0 Mul -2 acot sinh x5 Mul -1 sech Mul x0 Mul -2 acot sinh x5 Mul -2 acot sinh x5 