Add asin Mul acoth Mul exp Add exp x0 x0 asech x7 x0 x0 
Add Mul Add Mul x0 Mul Mul asech x7 Mul exp Add exp x0 x0 Add exp x0 1 Pow Add 1 Mul -1 Mul Mul exp Add exp x0 x0 asech x7 Mul exp Add exp x0 x0 asech x7 -1 acoth Mul exp Add exp x0 x0 asech x7 Pow sqrt Add 1 Mul -1 Mul Mul acoth Mul exp Add exp x0 x0 asech x7 x0 Mul acoth Mul exp Add exp x0 x0 asech x7 x0 -1 1 