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