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