Mul Add Add Add Pow Pow cot Add -1 x1 x0 log pi 1 exp x0 acsch Add pi Mul sin atan x3 -3 x0 
Add Mul x0 Add Mul Pow Pow cot Add -1 x1 x0 Add log pi -1 Mul log pi Mul Pow cot Add -1 x1 Add x0 -1 Mul cot Add -1 x1 log cot Add -1 x1 exp x0 Add Add Add Pow Pow cot Add -1 x1 x0 log pi 1 exp x0 acsch Add pi Mul sin atan x3 -3 