Mul x0 Pow acot Mul 362063575201.690 x0 Add x7 acoth x0 
Add Pow acot Mul 362063575201.690 x0 Add x7 acoth x0 Mul x0 Mul Pow acot Mul 362063575201.690 x0 Add Add x7 acoth x0 -1 Add Mul Add x7 acoth x0 Mul -1 Mul 362063575201.690 Pow Add 1 Mul Mul 362063575201.690 x0 Mul 362063575201.690 x0 -1 Mul Mul acot Mul 362063575201.690 x0 log acot Mul 362063575201.690 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 