Pow Mul acoth Mul 8.76111841082156 pi x0 x0 
Mul Pow Mul acoth Mul 8.76111841082156 pi x0 Add x0 -1 Add Mul x0 acoth Mul 8.76111841082156 pi Mul Mul acoth Mul 8.76111841082156 pi x0 log Mul acoth Mul 8.76111841082156 pi x0 