log tan Add sec x0 Mul x0 acosh asec cos x0 
Mul Mul Pow sec Add sec x0 Mul x0 acosh asec cos x0 2 Add Mul tan x0 sec x0 Add acosh asec cos x0 Mul x0 Mul Mul Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cos x0 cos x0 -1 cos x0 cos x0 -1 Pow Mul sqrt Add asec cos x0 -1 sqrt Add 1 asec cos x0 -1 Pow tan Add sec x0 Mul x0 acosh asec cos x0 -1 