Mul Pow Pow x3 2 Pow Add -0.785398163397448 x4 Add x0 Pow Mul E x0 x0 acot cosh x0 
Add Mul acot cosh x0 Mul Pow Pow x3 2 Add Pow Add -0.785398163397448 x4 Add x0 Pow Mul E x0 x0 -1 Mul Mul Pow x3 2 log Pow x3 2 Mul Pow Add -0.785398163397448 x4 Add Add x0 Pow Mul E x0 x0 -1 Mul Mul Add -0.785398163397448 x4 log Add -0.785398163397448 x4 Add 1 Mul Pow Mul E x0 Add x0 -1 Add Mul x0 E Mul Mul E x0 log Mul E x0 Mul Pow Pow x3 2 Pow Add -0.785398163397448 x4 Add x0 Pow Mul E x0 x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 