acot atan acosh Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 
Mul -1 Mul Mul Mul Mul Pow acot cosh Add acosh x1 3.76219569108363 Add Mul Pow x1 Add x0 x2 x0 -1 Mul Mul acot cosh Add acosh x1 3.76219569108363 log acot cosh Add acosh x1 3.76219569108363 Add Mul x0 Mul Pow x1 Add Add x0 x2 -1 Mul x1 log x1 Pow x1 Add x0 x2 Pow Mul sqrt Add Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 -1 sqrt Add 1 Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 -1 Pow Add 1 Mul acosh Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 acosh Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 -1 Pow Add 1 Mul atan acosh Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 atan acosh Pow acot cosh Add acosh x1 3.76219569108363 Mul Pow x1 Add x0 x2 x0 -1 