Pow x6 Add Pow x7 Add 2 x0 asinh Add x0 Mul acot x0 Add Add x0 4 -1 
Mul Pow x6 Add Add Pow x7 Add 2 x0 asinh Add x0 Mul acot x0 Add Add x0 4 -1 -1 Mul Mul x6 log x6 Add Mul Pow x7 Add Add 2 x0 -1 Mul x7 log x7 Mul Add 1 Add Mul Add Add x0 4 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Pow sqrt Add 1 Mul Add x0 Mul acot x0 Add Add x0 4 -1 Add x0 Mul acot x0 Add Add x0 4 -1 -1 