atan Mul 2 Pow x0 Add Add x0 x0 Mul acosh Add 0.785398163397448 x0 x1 
Mul Mul 2 Mul Pow x0 Add Add Add x0 x0 Mul acosh Add 0.785398163397448 x0 x1 -1 Add Add Add x0 x0 Mul acosh Add 0.785398163397448 x0 x1 Mul Mul x0 log x0 Add 2 Mul x1 Pow Mul sqrt Add Add 0.785398163397448 x0 -1 sqrt Add 1 Add 0.785398163397448 x0 -1 Pow Add 1 Mul Mul 2 Pow x0 Add Add x0 x0 Mul acosh Add 0.785398163397448 x0 x1 Mul 2 Pow x0 Add Add x0 x0 Mul acosh Add 0.785398163397448 x0 x1 -1 