Add Pow acsc x5 x0 Add acoth Mul x0 x0 Mul Add x0 -5 Pow exp x0 x1 
Add Mul Pow acsc x5 Add x0 -1 Mul acsc x5 log acsc x5 Add Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Add Pow exp x0 x1 Mul Add x0 -5 Mul Pow exp x0 Add x1 -1 Mul x1 exp x0 