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