Mul Mul -5 acos acoth x0 Mul Add tan asin x0 4 5 
Add Mul Mul Add tan asin x0 4 5 Mul -5 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul -5 acos acoth x0 Mul 5 Mul Pow sec asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 