Pow Mul -2 atan x0 Mul Add Mul x0 pi sec acoth E Add Mul x0 x0 0.192322434543718 
Mul Pow Mul -2 atan x0 Add Mul Add Mul x0 pi sec acoth E Add Mul x0 x0 0.192322434543718 -1 Add Mul Mul Add Mul x0 pi sec acoth E Add Mul x0 x0 0.192322434543718 Mul -2 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul -2 atan x0 log Mul -2 atan x0 Add Mul Add Mul x0 x0 0.192322434543718 pi Mul Add Mul x0 pi sec acoth E Add x0 x0 