tan Mul Pow Mul x0 E Add Pow x0 acoth Mul x0 cosh E x0 Add x0 1 
Mul Pow sec Mul Pow Mul x0 E Add Pow x0 acoth Mul x0 cosh E x0 Add x0 1 2 Add Mul Add x0 1 Mul Pow Mul x0 E Add Add Pow x0 acoth Mul x0 cosh E x0 -1 Add Mul Add Pow x0 acoth Mul x0 cosh E x0 E Mul Mul Mul x0 E log Mul x0 E Add Mul Pow x0 Add acoth Mul x0 cosh E -1 Add acoth Mul x0 cosh E Mul Mul x0 log x0 Mul cosh E Pow Add 1 Mul -1 Mul Mul x0 cosh E Mul x0 cosh E -1 1 Pow Mul x0 E Add Pow x0 acoth Mul x0 cosh E x0 