Mul x0 Pow sech x2 cos log acsch x0 
Add Pow sech x2 cos log acsch x0 Mul x0 Mul Pow sech x2 Add cos log acsch x0 -1 Mul Mul sech x2 log sech x2 Mul Mul -1 sin log acsch x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow acsch x0 -1 