Mul Mul pi acosh x4 Mul Add Pow Mul -1 Mul 3 x0 Add atan Add Mul x0 x0 x1 x0 Mul 4 x0 x0 
Mul Mul pi acosh x4 Add Mul x0 Add Mul Pow Mul -1 Mul 3 x0 Add Add atan Add Mul x0 x0 x1 x0 -1 Add Mul Add atan Add Mul x0 x0 x1 x0 2 Mul Mul Mul -1 Mul 3 x0 log Mul -1 Mul 3 x0 Add Mul Add x0 x0 Pow Add 1 Mul Add Mul x0 x0 x1 Add Mul x0 x0 x1 -1 1 4 Add Pow Mul -1 Mul 3 x0 Add atan Add Mul x0 x0 x1 x0 Mul 4 x0 