Pow Add Add x0 Mul x0 -2 Pow x7 acos sqrt x0 acot tanh x0 
Mul Pow Add Add x0 Mul x0 -2 Pow x7 acos sqrt x0 Add acot tanh x0 -1 Add Mul acot tanh x0 Add 1 Mul Pow x7 Add acos sqrt x0 -1 Mul Mul x7 log x7 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Mul Add Add x0 Mul x0 -2 Pow x7 acos sqrt x0 log Add Add x0 Mul x0 -2 Pow x7 acos sqrt x0 Mul -1 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 