Add x0 Pow Add x0 x7 asinh Pow Add Mul x0 acot x2 x0 Mul x0 Mul -3 Pow -2 E 
Add 1 Mul Pow Add x0 x7 Add asinh Pow Add Mul x0 acot x2 x0 Mul x0 Mul -3 Pow -2 E -1 Add asinh Pow Add Mul x0 acot x2 x0 Mul x0 Mul -3 Pow -2 E Mul Mul Add x0 x7 log Add x0 x7 Mul Mul Pow Add Mul x0 acot x2 x0 Add Mul x0 Mul -3 Pow -2 E -1 Add Mul Mul x0 Mul -3 Pow -2 E Add acot x2 1 Mul Mul Add Mul x0 acot x2 x0 log Add Mul x0 acot x2 x0 Mul -3 Pow -2 E Pow sqrt Add 1 Mul Pow Add Mul x0 acot x2 x0 Mul x0 Mul -3 Pow -2 E Pow Add Mul x0 acot x2 x0 Mul x0 Mul -3 Pow -2 E -1 