Pow Pow x1 asech sin cos x0 sec x0 
Mul Pow Pow x1 asech sin cos x0 Add sec x0 -1 Add Mul sec x0 Mul Pow x1 Add asech sin cos x0 -1 Mul Mul x1 log x1 Mul Mul cos cos x0 Mul -1 sin x0 Pow Mul Mul sin cos x0 sin cos x0 sqrt Add 1 Mul -1 Pow Mul sin cos x0 sin cos x0 -1 -1 Mul Mul Pow x1 asech sin cos x0 log Pow x1 asech sin cos x0 Mul tan x0 sec x0 