Mul Mul Add x0 Add -4 Add 1 Mul sqrt x3 x0 acot sinh x1 acot Add Pow E Add -0.989992496600445 x6 x0 
Add Mul acot Add Pow E Add -0.989992496600445 x6 x0 Mul acot sinh x1 Add 1 sqrt x3 Mul Mul Add x0 Add -4 Add 1 Mul sqrt x3 x0 acot sinh x1 Mul -1 Pow Add 1 Mul Add Pow E Add -0.989992496600445 x6 x0 Add Pow E Add -0.989992496600445 x6 x0 -1 