exp Pow Add Pow sin x0 x5 x1 asech x0 
Mul exp Pow Add Pow sin x0 x5 x1 asech x0 Mul Pow Add Pow sin x0 x5 x1 Add asech x0 -1 Add Mul asech x0 Mul Pow sin x0 Add x5 -1 Mul x5 cos x0 Mul Mul Add Pow sin x0 x5 x1 log Add Pow sin x0 x5 x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 