Add exp x7 Add tan sqrt acot log acos atanh Mul tanh x0 x0 x2 
Mul Pow sec sqrt acot log acos atanh Mul tanh x0 x0 2 Mul Pow Mul 2 sqrt acot log acos atanh Mul tanh x0 x0 -1 Mul -1 Mul Mul Mul -1 Mul Mul Add Mul x0 Pow sech x0 2 tanh x0 Pow Add 1 Mul -1 Mul Mul tanh x0 x0 Mul tanh x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh Mul tanh x0 x0 atanh Mul tanh x0 x0 -1 Pow acos atanh Mul tanh x0 x0 -1 Pow Add 1 Mul log acos atanh Mul tanh x0 x0 log acos atanh Mul tanh x0 x0 -1 