Mul x0 atan Add Add Mul Add Pow csc x0 cot x0 Pow acoth x5 pi asin E -1 log x0 
Add atan Add Add Mul Add Pow csc x0 cot x0 Pow acoth x5 pi asin E -1 log x0 Mul x0 Mul Add Mul asin E Mul Pow csc x0 Add cot x0 -1 Add Mul cot x0 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Mul -1 Pow csc x0 2 Pow x0 -1 Pow Add 1 Mul Add Add Mul Add Pow csc x0 cot x0 Pow acoth x5 pi asin E -1 log x0 Add Add Mul Add Pow csc x0 cot x0 Pow acoth x5 pi asin E -1 log x0 -1 