Pow atan Pow Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 x0 x3 
Mul Pow atan Pow Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 x0 Add x3 -1 Mul x3 Mul Mul Pow Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E -1 Add Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E Mul Mul x0 log x0 Mul coth exp acosh E Mul Mul tan Pow x0 Pow Add Add x0 x0 x3 x0 sec Pow x0 Pow Add Add x0 x0 x3 x0 Mul Pow x0 Add Pow Add Add x0 x0 x3 x0 -1 Add Pow Add Add x0 x0 x3 x0 Mul Mul x0 log x0 Mul Pow Add Add x0 x0 x3 Add x0 -1 Add Mul x0 2 Mul Add Add x0 x0 x3 log Add Add x0 x0 x3 1 Mul Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 log Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 Pow Add 1 Mul Pow Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 x0 Pow Add Pow x0 Mul sec Pow x0 Pow Add Add x0 x0 x3 x0 coth exp acosh E x0 x0 -1 