Add Mul x6 Pow E log sinh asech Mul -5 Mul x1 exp x0 x0 
Add Mul x6 Mul Pow E Add log sinh asech Mul -5 Mul x1 exp x0 -1 Mul Mul E log E Mul Mul cosh asech Mul -5 Mul x1 exp x0 Mul Mul -5 Mul x1 exp x0 Pow Mul Mul Mul -5 Mul x1 exp x0 Mul -5 Mul x1 exp x0 sqrt Add 1 Mul -1 Pow Mul Mul -5 Mul x1 exp x0 Mul -5 Mul x1 exp x0 -1 -1 Pow sinh asech Mul -5 Mul x1 exp x0 -1 1 