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