Mul acosh Mul Add x5 tanh Mul x2 atanh atanh Mul x0 x0 -1 exp x0 
Add Mul exp x0 Mul Mul -1 Mul Pow sech Mul x2 atanh atanh Mul x0 x0 2 Mul x2 Mul Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh Mul x0 x0 atanh Mul x0 x0 -1 Pow Mul sqrt Add Mul Add x5 tanh Mul x2 atanh atanh Mul x0 x0 -1 -1 sqrt Add 1 Mul Add x5 tanh Mul x2 atanh atanh Mul x0 x0 -1 -1 Mul acosh Mul Add x5 tanh Mul x2 atanh atanh Mul x0 x0 -1 exp x0 