Mul Pow 0.881373587019543 Mul Pow 2 x0 1.32134870881090 acot acoth x0 
Add Mul acot acoth x0 Mul Pow 0.881373587019543 Add Mul Pow 2 x0 1.32134870881090 -1 Mul 0.755099892920645 Mul 1.32134870881090 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 0.881373587019543 Mul Pow 2 x0 1.32134870881090 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 