Pow x0 Pow atan Pow pi x0 acsch x6 
Mul Pow x0 Add Pow atan Pow pi x0 acsch x6 -1 Add Pow atan Pow pi x0 acsch x6 Mul Mul x0 log x0 Mul Pow atan Pow pi x0 Add acsch x6 -1 Mul acsch x6 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul Pow pi x0 Pow pi x0 -1 