Mul Pow x1 Mul 5 acoth Pow Pow Pow E -1 x0 -1 tan x7 
Mul tan x7 Mul Pow x1 Add Mul 5 acoth Pow Pow Pow E -1 x0 -1 -1 Mul Mul x1 log x1 Mul 5 Mul Mul Pow Pow Pow E -1 x0 2 Mul -1 Mul Pow Pow E -1 Add x0 -1 Mul Pow E -1 log Pow E -1 Pow Add 1 Mul -1 Mul Pow Pow Pow E -1 x0 -1 Pow Pow Pow E -1 x0 -1 -1 