Pow Pow Add Mul Pow exp Add x0 x0 Mul -3 x3 x0 Pow Mul x0 exp Mul acosh x5 x0 Pow Mul -2 x0 x0 5 x0 
Mul Pow Pow Add Mul Pow exp Add x0 x0 Mul -3 x3 x0 Pow Mul x0 exp Mul acosh x5 x0 Pow Mul -2 x0 x0 5 Add x0 -1 Add Mul x0 Mul Pow Add Mul Pow exp Add x0 x0 Mul -3 x3 x0 Pow Mul x0 exp Mul acosh x5 x0 Pow Mul -2 x0 x0 4 Mul 5 Add Add Mul x0 Mul Pow exp Add x0 x0 Add Mul -3 x3 -1 Mul Mul -3 x3 Mul exp Add x0 x0 2 Pow exp Add x0 x0 Mul -3 x3 Mul Pow Mul x0 exp Mul acosh x5 x0 Add Pow Mul -2 x0 x0 -1 Add Mul Pow Mul -2 x0 x0 Add exp Mul acosh x5 x0 Mul x0 Mul exp Mul acosh x5 x0 acosh x5 Mul Mul Mul x0 exp Mul acosh x5 x0 log Mul x0 exp Mul acosh x5 x0 Mul Pow Mul -2 x0 Add x0 -1 Add Mul x0 -2 Mul Mul -2 x0 log Mul -2 x0 Mul Pow Add Mul Pow exp Add x0 x0 Mul -3 x3 x0 Pow Mul x0 exp Mul acosh x5 x0 Pow Mul -2 x0 x0 5 log Pow Add Mul Pow exp Add x0 x0 Mul -3 x3 x0 Pow Mul x0 exp Mul acosh x5 x0 Pow Mul -2 x0 x0 5 