Pow x1 Mul Pow x1 atanh atan Add acos Pow -4 x3 x0 acos Mul x0 pi 
Mul Pow x1 Add Mul Pow x1 atanh atan Add acos Pow -4 x3 x0 acos Mul x0 pi -1 Mul Mul x1 log x1 Add Mul acos Mul x0 pi Mul Pow x1 Add atanh atan Add acos Pow -4 x3 x0 -1 Mul Mul x1 log x1 Mul Pow Add 1 Mul Add acos Pow -4 x3 x0 Add acos Pow -4 x3 x0 -1 Pow Add 1 Mul -1 Mul atan Add acos Pow -4 x3 x0 atan Add acos Pow -4 x3 x0 -1 Mul Pow x1 atanh atan Add acos Pow -4 x3 x0 Mul -1 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 