tan Mul Add x0 x0 Add Add Mul Add Pow Mul Add x0 acoth x2 2 x0 Mul pi -2 x0 -5 x6 
Mul Pow sec Mul Add x0 x0 Add Add Mul Add Pow Mul Add x0 acoth x2 2 x0 Mul pi -2 x0 -5 x6 2 Add Mul Add Add Mul Add Pow Mul Add x0 acoth x2 2 x0 Mul pi -2 x0 -5 x6 2 Mul Add x0 x0 Add Mul x0 Mul Pow Mul Add x0 acoth x2 2 Add x0 -1 Add Mul x0 2 Mul Mul Add x0 acoth x2 2 log Mul Add x0 acoth x2 2 Add Pow Mul Add x0 acoth x2 2 x0 Mul pi -2 