Pow x0 Add acot Mul Pow sqrt Add 4 acosh asinh pi x0 tanh tan asin x3 Pow x7 x0 
Mul Pow x0 Add Add acot Mul Pow sqrt Add 4 acosh asinh pi x0 tanh tan asin x3 Pow x7 x0 -1 Add Add acot Mul Pow sqrt Add 4 acosh asinh pi x0 tanh tan asin x3 Pow x7 x0 Mul Mul x0 log x0 Add Mul -1 Mul Mul tanh tan asin x3 Mul Pow sqrt Add 4 acosh asinh pi Add x0 -1 Mul sqrt Add 4 acosh asinh pi log sqrt Add 4 acosh asinh pi Pow Add 1 Mul Mul Pow sqrt Add 4 acosh asinh pi x0 tanh tan asin x3 Mul Pow sqrt Add 4 acosh asinh pi x0 tanh tan asin x3 -1 Mul Pow x7 Add x0 -1 Mul x7 log x7 