Add Mul atan Add x0 Pow pi acoth x0 x0 tan Add Add Mul x0 Add x0 Mul x0 x0 1.54308063481524 x7 
Add Add Mul x0 Mul Add 1 Mul Pow pi Add acoth x0 -1 Mul Mul pi log pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add x0 Pow pi acoth x0 Add x0 Pow pi acoth x0 -1 atan Add x0 Pow pi acoth x0 Mul Pow sec Add Add Mul x0 Add x0 Mul x0 x0 1.54308063481524 x7 2 Add Add x0 Mul x0 x0 Mul x0 Add 1 Add x0 x0 