Mul exp x0 Pow Mul x0 cosh Mul x3 x0 atanh asech x2 
Add Mul Pow Mul x0 cosh Mul x3 x0 atanh asech x2 exp x0 Mul exp x0 Mul Pow Mul x0 cosh Mul x3 x0 Add atanh asech x2 -1 Mul atanh asech x2 Add cosh Mul x3 x0 Mul x0 Mul sinh Mul x3 x0 x3 