Add acot Mul cosh x0 sqrt Add Add 0.255412811882995 x0 -3 x0 
Add Mul -1 Mul Add Mul sqrt Add Add 0.255412811882995 x0 -3 sinh x0 Mul cosh x0 Pow Mul 2 sqrt Add Add 0.255412811882995 x0 -3 -1 Pow Add 1 Mul Mul cosh x0 sqrt Add Add 0.255412811882995 x0 -3 Mul cosh x0 sqrt Add Add 0.255412811882995 x0 -3 -1 1 