Add Add Mul acot x0 Mul Mul -4 Mul 2 cosh Add x0 sqrt x0 cosh Add x0 x0 x1 x4 
Add Mul Mul Mul -4 Mul 2 cosh Add x0 sqrt x0 cosh Add x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul cosh Add x0 x0 Mul -4 Mul 2 Mul sinh Add x0 sqrt x0 Add 1 Pow Mul 2 sqrt x0 -1 Mul Mul -4 Mul 2 cosh Add x0 sqrt x0 Mul sinh Add x0 x0 2 