acosh sin Mul x2 Mul 4 Pow asinh pi acot x0 
Mul Mul cos Mul x2 Mul 4 Pow asinh pi acot x0 Mul x2 Mul 4 Mul Pow asinh pi Add acot x0 -1 Mul Mul asinh pi log asinh pi Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add sin Mul x2 Mul 4 Pow asinh pi acot x0 -1 sqrt Add 1 sin Mul x2 Mul 4 Pow asinh pi acot x0 -1 