atanh exp Add Mul x0 Add 4 Mul x0 cosh Add x2 x0 Mul exp Add 5 csc E x1 
Mul Mul exp Add Mul x0 Add 4 Mul x0 cosh Add x2 x0 Mul exp Add 5 csc E x1 Add Add 4 Mul x0 cosh Add x2 x0 Mul x0 Add cosh Add x2 x0 Mul x0 sinh Add x2 x0 Pow Add 1 Mul -1 Mul exp Add Mul x0 Add 4 Mul x0 cosh Add x2 x0 Mul exp Add 5 csc E x1 exp Add Mul x0 Add 4 Mul x0 cosh Add x2 x0 Mul exp Add 5 csc E x1 -1 