sqrt sqrt acos acoth Mul x7 Mul pi Add x0 -4 
Mul Pow Mul 2 sqrt sqrt acos acoth Mul x7 Mul pi Add x0 -4 -1 Mul Pow Mul 2 sqrt acos acoth Mul x7 Mul pi Add x0 -4 -1 Mul -1 Mul Mul Mul x7 pi Pow Add 1 Mul -1 Mul Mul x7 Mul pi Add x0 -4 Mul x7 Mul pi Add x0 -4 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul x7 Mul pi Add x0 -4 acoth Mul x7 Mul pi Add x0 -4 -1 