Add Mul x3 acosh acot Mul x0 acot Add atanh x5 x0 0.785398163397448 
Mul x3 Mul Mul -1 Mul Add acot Add atanh x5 x0 Mul x0 Mul -1 Pow Add 1 Mul Add atanh x5 x0 Add atanh x5 x0 -1 Pow Add 1 Mul Mul x0 acot Add atanh x5 x0 Mul x0 acot Add atanh x5 x0 -1 Pow Mul sqrt Add acot Mul x0 acot Add atanh x5 x0 -1 sqrt Add 1 acot Mul x0 acot Add atanh x5 x0 -1 