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