Add x0 Add Pow Add x0 Add asin Mul Pow Add pi Mul x0 x0 -2 4 x7 Mul -5 Mul -4 Mul x0 cos acoth x1 -5 
Add 1 Mul Pow Add x0 Add asin Mul Pow Add pi Mul x0 x0 -2 4 x7 Add Mul -5 Mul -4 Mul x0 cos acoth x1 -1 Add Mul Mul -5 Mul -4 Mul x0 cos acoth x1 Add 1 Mul Mul 4 Mul Pow Add pi Mul x0 x0 3 Mul -2 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add pi Mul x0 x0 -2 4 Mul Pow Add pi Mul x0 x0 -2 4 -1 Mul Mul Add x0 Add asin Mul Pow Add pi Mul x0 x0 -2 4 x7 log Add x0 Add asin Mul Pow Add pi Mul x0 x0 -2 4 x7 Mul -5 Mul -4 cos acoth x1 