Mul x0 Mul acosh x6 Mul acot Add Pow Mul -2 pi Add asinh x0 x0 pi x2 
Add Mul acosh x6 Mul acot Add Pow Mul -2 pi Add asinh x0 x0 pi x2 Mul x0 Mul acosh x6 Mul x2 Mul -1 Mul Mul Pow Mul -2 pi Add Add asinh x0 x0 -1 Mul Mul Mul -2 pi log Mul -2 pi Add Pow sqrt Add 1 Mul x0 x0 -1 1 Pow Add 1 Mul Add Pow Mul -2 pi Add asinh x0 x0 pi Add Pow Mul -2 pi Add asinh x0 x0 pi -1 