Pow Mul -2 exp Mul 5 acsch Add asin x2 Mul log x2 x3 x0 
Mul Pow Mul -2 exp Mul 5 acsch Add asin x2 Mul log x2 x3 Add x0 -1 Mul Mul -2 exp Mul 5 acsch Add asin x2 Mul log x2 x3 log Mul -2 exp Mul 5 acsch Add asin x2 Mul log x2 x3 