Pow Pow Add acot asinh x0 x0 Add Add Mul x0 4 -3 x0 pi 
Mul Pow Pow Add acot asinh x0 x0 Add Add Mul x0 4 -3 x0 Add pi -1 Mul pi Mul Pow Add acot asinh x0 x0 Add Add Add Mul x0 4 -3 x0 -1 Add Mul Add Add Mul x0 4 -3 x0 Add Mul -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 1 Mul Mul Add acot asinh x0 x0 log Add acot asinh x0 x0 5 