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