Mul Pow Add exp Pow x0 Add x0 cosh acsch asec x2 acot x3 x0 x3 
Mul x3 Mul Pow Add exp Pow x0 Add x0 cosh acsch asec x2 acot x3 Add x0 -1 Add Mul x0 Mul exp Pow x0 Add x0 cosh acsch asec x2 Mul Pow x0 Add Add x0 cosh acsch asec x2 -1 Add Add x0 cosh acsch asec x2 Mul x0 log x0 Mul Add exp Pow x0 Add x0 cosh acsch asec x2 acot x3 log Add exp Pow x0 Add x0 cosh acsch asec x2 acot x3 