Pow acosh x1 asin Mul log Mul x0 x0 acoth Add Mul E Mul x0 x7 x0 
Mul Pow acosh x1 Add asin Mul log Mul x0 x0 acoth Add Mul E Mul x0 x7 x0 -1 Mul Mul acosh x1 log acosh x1 Mul Add Mul acoth Add Mul E Mul x0 x7 x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul log Mul x0 x0 Mul Add Mul E x7 1 Pow Add 1 Mul -1 Mul Add Mul E Mul x0 x7 x0 Add Mul E Mul x0 x7 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul log Mul x0 x0 acoth Add Mul E Mul x0 x7 x0 Mul log Mul x0 x0 acoth Add Mul E Mul x0 x7 x0 -1 