atan Pow sqrt x3 Mul x0 Add pi acosh acot E 
Mul Mul Pow sqrt x3 Add Mul x0 Add pi acosh acot E -1 Mul Mul sqrt x3 log sqrt x3 Add pi acosh acot E Pow Add 1 Mul Pow sqrt x3 Mul x0 Add pi acosh acot E Pow sqrt x3 Mul x0 Add pi acosh acot E -1 