Pow acot Add 3 cosh x0 Add x0 acos x4 
Mul Pow acot Add 3 cosh x0 Add Add x0 acos x4 -1 Add Mul Add x0 acos x4 Mul -1 Mul sinh x0 Pow Add 1 Mul Add 3 cosh x0 Add 3 cosh x0 -1 Mul acot Add 3 cosh x0 log acot Add 3 cosh x0 