Add Mul -2 x0 Mul Mul asech acot Mul x6 x0 asinh Add 3 x0 x0 
Add -2 Add Mul x0 Add Mul asinh Add 3 x0 Mul Mul -1 Mul x6 Pow Add 1 Mul Mul x6 x0 Mul x6 x0 -1 Pow Mul Mul acot Mul x6 x0 acot Mul x6 x0 sqrt Add 1 Mul -1 Pow Mul acot Mul x6 x0 acot Mul x6 x0 -1 -1 Mul asech acot Mul x6 x0 Pow sqrt Add 1 Mul Add 3 x0 Add 3 x0 -1 Mul asech acot Mul x6 x0 asinh Add 3 x0 