sin Add Pow atanh x5 Pow asech x0 Mul Add x0 x0 -2 E 
Mul cos Add Pow atanh x5 Pow asech x0 Mul Add x0 x0 -2 E Mul Pow atanh x5 Add Pow asech x0 Mul Add x0 x0 -2 -1 Mul Mul atanh x5 log atanh x5 Mul Pow asech x0 Add Mul Add x0 x0 -2 -1 Mul Mul Add x0 x0 -2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 