Pow Add Add x7 Add acot asin Mul x0 acoth x0 cosh x0 x0 x3 
Mul Pow Add Add x7 Add acot asin Mul x0 acoth x0 cosh x0 x0 Add x3 -1 Mul x3 Add Add Mul -1 Mul Mul Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 acoth x0 Mul x0 acoth x0 -1 Pow Add 1 Mul asin Mul x0 acoth x0 asin Mul x0 acoth x0 -1 sinh x0 1 