Pow x0 Add Mul Add x1 acsch pi Pow x0 Add cosh x2 1 -1 
Mul Pow x0 Add Add Mul Add x1 acsch pi Pow x0 Add cosh x2 1 -1 -1 Add Add Mul Add x1 acsch pi Pow x0 Add cosh x2 1 -1 Mul Mul x0 log x0 Mul Add x1 acsch pi Mul Pow x0 Add Add cosh x2 1 -1 Add cosh x2 1 