acosh Pow x0 Add Mul Mul csch Add x0 x0 x3 cosh x0 asech exp E 
Mul Mul Pow x0 Add Add Mul Mul csch Add x0 x0 x3 cosh x0 asech exp E -1 Add Add Mul Mul csch Add x0 x0 x3 cosh x0 asech exp E Mul Mul x0 log x0 Add Mul cosh x0 Mul x3 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 Mul Mul csch Add x0 x0 x3 sinh x0 Pow Mul sqrt Add Pow x0 Add Mul Mul csch Add x0 x0 x3 cosh x0 asech exp E -1 sqrt Add 1 Pow x0 Add Mul Mul csch Add x0 x0 x3 cosh x0 asech exp E -1 