Mul Pow x0 E atanh Add cosh Mul Mul exp x0 Add pi -1 asech x1 Mul Add x0 x0 x2 
Add Mul atanh Add cosh Mul Mul exp x0 Add pi -1 asech x1 Mul Add x0 x0 x2 Mul Pow x0 Add E -1 E Mul Pow x0 E Mul Add Mul sinh Mul Mul exp x0 Add pi -1 asech x1 Mul asech x1 Mul Add pi -1 exp x0 Mul x2 2 Pow Add 1 Mul -1 Mul Add cosh Mul Mul exp x0 Add pi -1 asech x1 Mul Add x0 x0 x2 Add cosh Mul Mul exp x0 Add pi -1 asech x1 Mul Add x0 x0 x2 -1 