Mul Pow x0 Pow asech sinh Pow Mul -4 x6 Mul x6 -5 x0 x0 
Add Mul x0 Mul Pow x0 Add Pow asech sinh Pow Mul -4 x6 Mul x6 -5 x0 -1 Add Pow asech sinh Pow Mul -4 x6 Mul x6 -5 x0 Mul Mul x0 log x0 Mul Pow asech sinh Pow Mul -4 x6 Mul x6 -5 Add x0 -1 Mul asech sinh Pow Mul -4 x6 Mul x6 -5 log asech sinh Pow Mul -4 x6 Mul x6 -5 Pow x0 Pow asech sinh Pow Mul -4 x6 Mul x6 -5 x0 