asech exp Pow Pow x0 cot x5 x0 
Mul Mul exp Pow Pow x0 cot x5 x0 Mul Pow Pow x0 cot x5 Add x0 -1 Add Mul x0 Mul Pow x0 Add cot x5 -1 cot x5 Mul Pow x0 cot x5 log Pow x0 cot x5 Pow Mul Mul exp Pow Pow x0 cot x5 x0 exp Pow Pow x0 cot x5 x0 sqrt Add 1 Mul -1 Pow Mul exp Pow Pow x0 cot x5 x0 exp Pow Pow x0 cot x5 x0 -1 -1 