Mul Mul Mul x0 acot x6 asinh Add asinh Mul x0 pi x0 x0 
Add Mul x0 Add Mul asinh Add asinh Mul x0 pi x0 acot x6 Mul Mul x0 acot x6 Mul Add Mul pi Pow sqrt Add 1 Mul Mul x0 pi Mul x0 pi -1 1 Pow sqrt Add 1 Mul Add asinh Mul x0 pi x0 Add asinh Mul x0 pi x0 -1 Mul Mul x0 acot x6 asinh Add asinh Mul x0 pi x0 