Mul -2 Pow Mul Mul tan x0 -2 Mul acos Pow x0 Add x0 Mul x4 pi acosh x7 tanh pi 
Mul -2 Mul Pow Mul Mul tan x0 -2 Mul acos Pow x0 Add x0 Mul x4 pi acosh x7 Add tanh pi -1 Mul tanh pi Add Mul Mul acos Pow x0 Add x0 Mul x4 pi acosh x7 Mul -2 Pow sec x0 2 Mul Mul tan x0 -2 Mul acosh x7 Mul -1 Mul Mul Pow x0 Add Add x0 Mul x4 pi -1 Add Add x0 Mul x4 pi Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 Add x0 Mul x4 pi Pow x0 Add x0 Mul x4 pi -1 