acot Add Pow x4 x2 Mul x0 Mul Pow cosh x5 x0 1.41421356237310 
Mul -1 Mul Add Mul Pow cosh x5 x0 1.41421356237310 Mul x0 Mul 1.41421356237310 Mul Pow cosh x5 Add x0 -1 Mul cosh x5 log cosh x5 Pow Add 1 Mul Add Pow x4 x2 Mul x0 Mul Pow cosh x5 x0 1.41421356237310 Add Pow x4 x2 Mul x0 Mul Pow cosh x5 x0 1.41421356237310 -1 