acot Pow Pow x0 Pow Mul 16 x0 atan acsch x0 cos Add Pow x0 Add sqrt x0 x0 pi 
Mul -1 Mul Mul Pow Pow x0 Pow Mul 16 x0 atan acsch x0 Add cos Add Pow x0 Add sqrt x0 x0 pi -1 Add Mul cos Add Pow x0 Add sqrt x0 x0 pi Mul Pow x0 Add Pow Mul 16 x0 atan acsch x0 -1 Add Pow Mul 16 x0 atan acsch x0 Mul Mul x0 log x0 Mul Pow Mul 16 x0 Add atan acsch x0 -1 Add Mul atan acsch x0 16 Mul Mul Mul 16 x0 log Mul 16 x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 Mul Mul Pow x0 Pow Mul 16 x0 atan acsch x0 log Pow x0 Pow Mul 16 x0 atan acsch x0 Mul Mul -1 sin Add Pow x0 Add sqrt x0 x0 pi Mul Pow x0 Add Add sqrt x0 x0 -1 Add Add sqrt x0 x0 Mul Mul x0 log x0 Add Pow Mul 2 sqrt x0 -1 1 Pow Add 1 Mul Pow Pow x0 Pow Mul 16 x0 atan acsch x0 cos Add Pow x0 Add sqrt x0 x0 pi Pow Pow x0 Pow Mul 16 x0 atan acsch x0 cos Add Pow x0 Add sqrt x0 x0 pi -1 