Mul x0 Add Pow csch pi asec Mul acsch x6 sqrt x0 x0 
Add Add Pow csch pi asec Mul acsch x6 sqrt x0 x0 Mul x0 Add Mul Pow csch pi Add asec Mul acsch x6 sqrt x0 -1 Mul Mul csch pi log csch pi Mul Mul acsch x6 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acsch x6 sqrt x0 Mul acsch x6 sqrt x0 -1 Mul acsch x6 sqrt x0 Mul acsch x6 sqrt x0 -1 1 