Pow cosh Add x0 x3 coth exp asin Mul 5 x0 
Mul Pow cosh Add x0 x3 Add coth exp asin Mul 5 x0 -1 Add Mul coth exp asin Mul 5 x0 sinh Add x0 x3 Mul Mul cosh Add x0 x3 log cosh Add x0 x3 Mul Mul -1 Pow csch exp asin Mul 5 x0 2 Mul exp asin Mul 5 x0 Mul 5 Pow sqrt Add 1 Mul -1 Mul Mul 5 x0 Mul 5 x0 -1 