atan Pow Mul acsch x0 x0 cot asinh Add Pow 3 pi 4 
Mul Mul Pow Mul acsch x0 x0 Add cot asinh Add Pow 3 pi 4 -1 Mul cot asinh Add Pow 3 pi 4 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Pow Add 1 Mul Pow Mul acsch x0 x0 cot asinh Add Pow 3 pi 4 Pow Mul acsch x0 x0 cot asinh Add Pow 3 pi 4 -1 