Mul x0 Pow acsc x4 Add acoth exp atan Add x5 x0 -1 
Add Pow acsc x4 Add acoth exp atan Add x5 x0 -1 Mul x0 Mul Pow acsc x4 Add Add acoth exp atan Add x5 x0 -1 -1 Mul Mul acsc x4 log acsc x4 Mul Mul exp atan Add x5 x0 Pow Add 1 Mul Add x5 x0 Add x5 x0 -1 Pow Add 1 Mul -1 Mul exp atan Add x5 x0 exp atan Add x5 x0 -1 