Add Mul x0 acsch Add x0 pi Pow Pow acsch x3 log x0 x0 
Add Add acsch Add x0 pi Mul x0 Mul -1 Pow Mul Mul Add x0 pi Add x0 pi sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 -1 Mul Pow Pow acsch x3 log x0 Add x0 -1 Add Mul x0 Mul Pow acsch x3 Add log x0 -1 Mul Mul acsch x3 log acsch x3 Pow x0 -1 Mul Pow acsch x3 log x0 log Pow acsch x3 log x0 