Pow Pow x4 x0 Add cosh x2 Pow Pow Mul -2 asech x5 x0 exp Pow x0 3 
Mul Pow Pow x4 x0 Add Add cosh x2 Pow Pow Mul -2 asech x5 x0 exp Pow x0 3 -1 Add Mul Add cosh x2 Pow Pow Mul -2 asech x5 x0 exp Pow x0 3 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Mul Pow Pow Mul -2 asech x5 x0 Add exp Pow x0 3 -1 Add Mul exp Pow x0 3 Mul Pow Mul -2 asech x5 Add x0 -1 Mul Mul -2 asech x5 log Mul -2 asech x5 Mul Mul Pow Mul -2 asech x5 x0 log Pow Mul -2 asech x5 x0 Mul exp Pow x0 3 Mul Pow x0 2 3 