Add Mul x0 csc x0 Add acoth Pow acot x0 Add x0 Pow x3 x5 2 
Add Add csc x0 Mul x0 Mul Mul -1 cot x0 csc x0 Mul Mul Pow acot x0 Add Add x0 Pow x3 x5 -1 Add Mul Add x0 Pow x3 x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Pow Add 1 Mul -1 Mul Pow acot x0 Add x0 Pow x3 x5 Pow acot x0 Add x0 Pow x3 x5 -1 