Mul coth Mul x0 x0 Add Mul Add x3 Pow atan cos log x0 tan x0 acosh x5 5 
Add Mul Add Mul Add x3 Pow atan cos log x0 tan x0 acosh x5 5 Mul Mul -1 Pow csch Mul x0 x0 2 Add x0 x0 Mul coth Mul x0 x0 Mul acosh x5 Mul Pow atan cos log x0 Add tan x0 -1 Add Mul tan x0 Mul Mul Mul -1 sin log x0 Pow x0 -1 Pow Add 1 Mul cos log x0 cos log x0 -1 Mul Mul atan cos log x0 log atan cos log x0 Pow sec x0 2 