acos Add Add x0 x4 Pow cot x0 Pow asech x5 Pow Mul x0 -1 x3 
Mul -1 Mul Add 1 Mul Pow cot x0 Add Pow asech x5 Pow Mul x0 -1 x3 -1 Add Mul Pow asech x5 Pow Mul x0 -1 x3 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Pow asech x5 Add Pow Mul x0 -1 x3 -1 Mul Mul asech x5 log asech x5 Mul Pow Mul x0 -1 Add x3 -1 Mul x3 -1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 x4 Pow cot x0 Pow asech x5 Pow Mul x0 -1 x3 Add Add x0 x4 Pow cot x0 Pow asech x5 Pow Mul x0 -1 x3 -1 