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