Add Mul acsch Mul x4 Add exp x0 acosh Add 2 x1 acoth Add sech x0 x7 x3 
Add Mul acoth Add sech x0 x7 Mul Mul -1 Mul x4 exp x0 Pow Mul Mul Mul x4 Add exp x0 acosh Add 2 x1 Mul x4 Add exp x0 acosh Add 2 x1 sqrt Add 1 Mul -1 Pow Mul Mul x4 Add exp x0 acosh Add 2 x1 Mul x4 Add exp x0 acosh Add 2 x1 -1 -1 Mul acsch Mul x4 Add exp x0 acosh Add 2 x1 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Add sech x0 x7 Add sech x0 x7 -1 