Mul Mul Add 1 acosh x0 5 Mul Pow Add asin x0 Mul acot x2 x0 x0 -3 
Add Mul Mul Pow Add asin x0 Mul acot x2 x0 x0 -3 Mul 5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add 1 acosh x0 5 Mul -3 Mul Pow Add asin x0 Mul acot x2 x0 Add x0 -1 Add Mul x0 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acot x2 Mul Add asin x0 Mul acot x2 x0 log Add asin x0 Mul acot x2 x0 