Mul Pow x0 Mul coth Mul acos x7 -1.17520119364380 sec x0 x4 
Mul x4 Mul Pow x0 Add Mul coth Mul acos x7 -1.17520119364380 sec x0 -1 Add Mul coth Mul acos x7 -1.17520119364380 sec x0 Mul Mul x0 log x0 Mul coth Mul acos x7 -1.17520119364380 Mul tan x0 sec x0 