Add Add Mul acos x3 Pow Pow x0 -3 cosh acoth x0 x2 x0 
Add Mul acos x3 Mul Pow Pow x0 -3 Add cosh acoth x0 -1 Add Mul cosh acoth x0 Mul Pow x0 4 -3 Mul Mul Pow x0 -3 log Pow x0 -3 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 