Pow x0 Add Mul pi Mul Mul acsch x6 x0 Mul sqrt x1 x0 x0 
Mul Pow x0 Add Add Mul pi Mul Mul acsch x6 x0 Mul sqrt x1 x0 x0 -1 Add Add Mul pi Mul Mul acsch x6 x0 Mul sqrt x1 x0 x0 Mul Mul x0 log x0 Add Mul pi Add Mul Mul sqrt x1 x0 acsch x6 Mul Mul acsch x6 x0 sqrt x1 1 