Add Pow acoth Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 Add Mul E x0 acos x0 x1 
Mul Pow acoth Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 Add Add Mul E x0 acos x0 -1 Add Mul Add Mul E x0 acos x0 Mul Add Mul acoth sinh E -1 Mul Pow x0 Add exp x1 -1 exp x1 Pow Add 1 Mul -1 Mul Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 -1 Mul Mul acoth Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 log acoth Add Mul x0 Mul acoth sinh E -1 Pow x0 exp x1 Add E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 