log Mul Mul log x0 acot acosh x1 Add Mul Mul Mul x6 Pow log x0 x5 3 3 sec x0 
Mul Add Mul Add Mul Mul Mul x6 Pow log x0 x5 3 3 sec x0 Mul acot acosh x1 Pow x0 -1 Mul Mul log x0 acot acosh x1 Add Mul 3 Mul 3 Mul x6 Mul Pow log x0 Add x5 -1 Mul x5 Pow x0 -1 Mul tan x0 sec x0 Pow Mul Mul log x0 acot acosh x1 Add Mul Mul Mul x6 Pow log x0 x5 3 3 sec x0 -1 