Pow x7 acoth Add cosh x0 Mul Pow 625 acot x6 atan asin x2 
Mul Pow x7 Add acoth Add cosh x0 Mul Pow 625 acot x6 atan asin x2 -1 Mul Mul x7 log x7 Mul sinh x0 Pow Add 1 Mul -1 Mul Add cosh x0 Mul Pow 625 acot x6 atan asin x2 Add cosh x0 Mul Pow 625 acot x6 atan asin x2 -1 