Mul Mul x0 Mul log x0 atanh Add tan sqrt tanh x0 x7 -3 
Mul -3 Add Mul log x0 atanh Add tan sqrt tanh x0 x7 Mul x0 Add Mul atanh Add tan sqrt tanh x0 x7 Pow x0 -1 Mul log x0 Mul Mul Pow sec sqrt tanh x0 2 Mul Pow Mul 2 sqrt tanh x0 -1 Pow sech x0 2 Pow Add 1 Mul -1 Mul Add tan sqrt tanh x0 x7 Add tan sqrt tanh x0 x7 -1 