Mul Add Mul Pow asinh coth pi x0 Add x0 E x3 log x0 
Add Mul log x0 Add Mul Add x0 E Mul Pow asinh coth pi Add x0 -1 Mul asinh coth pi log asinh coth pi Pow asinh coth pi x0 Mul Add Mul Pow asinh coth pi x0 Add x0 E x3 Pow x0 -1 