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