Pow Mul Mul Add Add x0 -4 -1 x0 x0 Mul acos acoth Mul -1 pi pi 
Mul Pow Mul Mul Add Add x0 -4 -1 x0 x0 Add Mul acos acoth Mul -1 pi pi -1 Mul Mul acos acoth Mul -1 pi pi Add Mul x0 Add x0 Add Add x0 -4 -1 Mul Add Add x0 -4 -1 x0 