acot Add Mul 4 x0 Mul Add x0 Add Add x5 cosh x0 Add 3.52532008581609 x3 x4 
Mul -1 Mul Add 4 Mul x4 Add 1 sinh x0 Pow Add 1 Mul Add Mul 4 x0 Mul Add x0 Add Add x5 cosh x0 Add 3.52532008581609 x3 x4 Add Mul 4 x0 Mul Add x0 Add Add x5 cosh x0 Add 3.52532008581609 x3 x4 -1 