Pow log x4 Add csch Pow sec x0 x5 x0 
Mul Pow log x4 Add Add csch Pow sec x0 x5 x0 -1 Mul Mul log x4 log log x4 Add Mul Mul Mul -1 coth Pow sec x0 x5 csch Pow sec x0 x5 Mul Pow sec x0 Add x5 -1 Mul x5 Mul tan x0 sec x0 1 