Pow Add Pow pi asinh Mul -3 x0 acot x0 atanh x7 
Mul Pow Add Pow pi asinh Mul -3 x0 acot x0 Add atanh x7 -1 Mul atanh x7 Add Mul Pow pi Add asinh Mul -3 x0 -1 Mul Mul pi log pi Mul -3 Pow sqrt Add 1 Mul Mul -3 x0 Mul -3 x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 