exp Pow Pow sech Pow Mul x0 x3 x4 cbrt acosh x7 x0 
Mul exp Pow Pow sech Pow Mul x0 x3 x4 cbrt acosh x7 x0 Mul Pow Pow sech Pow Mul x0 x3 x4 cbrt acosh x7 Add x0 -1 Add Mul x0 Mul Pow sech Pow Mul x0 x3 x4 Add cbrt acosh x7 -1 Mul cbrt acosh x7 Mul Mul tanh Pow Mul x0 x3 x4 Mul -1 sech Pow Mul x0 x3 x4 Mul Pow Mul x0 x3 Add x4 -1 Mul x4 x3 Mul Pow sech Pow Mul x0 x3 x4 cbrt acosh x7 log Pow sech Pow Mul x0 x3 x4 cbrt acosh x7 