Add Add Pow x0 acos x0 Add Add Mul 1.25434994916180 x7 x0 coth acot cosh x0 x0 
Add Add Mul Pow x0 Add acos x0 -1 Add acos x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add 1 Mul Mul -1 Pow csch acot cosh x0 2 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 1 