Pow sqrt Add 0.283662185463226 x6 Mul atan acot x0 x0 
Mul Pow sqrt Add 0.283662185463226 x6 Add Mul atan acot x0 x0 -1 Mul Mul sqrt Add 0.283662185463226 x6 log sqrt Add 0.283662185463226 x6 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 atan acot x0 