Pow acot Mul x0 -5 Pow asin x0 cos acoth Add x0 -4 
Mul Pow acot Mul x0 -5 Add Pow asin x0 cos acoth Add x0 -4 -1 Add Mul Pow asin x0 cos acoth Add x0 -4 Mul -1 Mul -5 Pow Add 1 Mul Mul x0 -5 Mul x0 -5 -1 Mul Mul acot Mul x0 -5 log acot Mul x0 -5 Mul Pow asin x0 Add cos acoth Add x0 -4 -1 Add Mul cos acoth Add x0 -4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Mul Mul -1 sin acoth Add x0 -4 Pow Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 