acoth Pow exp sqrt atan x0 asin Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi 
Mul Mul Pow exp sqrt atan x0 Add asin Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi -1 Add Mul asin Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi Mul exp sqrt atan x0 Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Mul Mul exp sqrt atan x0 log exp sqrt atan x0 Mul Mul pi Add Add x0 Add x0 -1 Mul Add x0 x4 2 Pow sqrt Add 1 Mul -1 Mul Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi -1 Pow Add 1 Mul -1 Mul Pow exp sqrt atan x0 asin Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi Pow exp sqrt atan x0 asin Mul Add Add Mul Add x0 x4 Add x0 Add x0 -1 -4 -2 pi -1 