cos Mul sec x0 Mul x0 Mul x0 Pow Pow Pow E x0 2 atanh x0 
Mul Mul -1 sin Mul sec x0 Mul x0 Mul x0 Pow Pow Pow E x0 2 atanh x0 Add Mul Mul x0 Mul x0 Pow Pow Pow E x0 2 atanh x0 Mul tan x0 sec x0 Mul sec x0 Add Mul x0 Pow Pow Pow E x0 2 atanh x0 Mul x0 Add Pow Pow Pow E x0 2 atanh x0 Mul x0 Mul Pow Pow Pow E x0 2 Add atanh x0 -1 Add Mul atanh x0 Mul Pow E x0 Mul 2 Mul Pow E Add x0 -1 Mul E log E Mul Mul Pow Pow E x0 2 log Pow Pow E x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 