sinh Add cosh Pow Add x3 x0 acos x0 acoth Add exp x0 x3 
Mul cosh Add cosh Pow Add x3 x0 acos x0 acoth Add exp x0 x3 Add Mul sinh Pow Add x3 x0 acos x0 Mul Pow Add x3 x0 Add acos x0 -1 Add acos x0 Mul Mul Add x3 x0 log Add x3 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul exp x0 Pow Add 1 Mul -1 Mul Add exp x0 x3 Add exp x0 x3 -1 