Mul sqrt asinh Mul x4 Pow acot x0 pi x0 
Add Mul x0 Mul Pow Mul 2 sqrt asinh Mul x4 Pow acot x0 pi -1 Mul Mul x4 Mul Pow acot x0 Add pi -1 Mul pi Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul x4 Pow acot x0 pi Mul x4 Pow acot x0 pi -1 sqrt asinh Mul x4 Pow acot x0 pi 