Add cosh x0 asech sqrt Mul x0 Mul Mul E sinh x3 x0 
Add sinh x0 Mul Mul Pow Mul 2 sqrt Mul x0 Mul Mul E sinh x3 x0 -1 Add Mul Mul E sinh x3 x0 Mul x0 Mul E sinh x3 Pow Mul Mul sqrt Mul x0 Mul Mul E sinh x3 x0 sqrt Mul x0 Mul Mul E sinh x3 x0 sqrt Add 1 Mul -1 Pow Mul sqrt Mul x0 Mul Mul E sinh x3 x0 sqrt Mul x0 Mul Mul E sinh x3 x0 -1 -1 