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