Add sech Pow tanh Mul Mul -2 asec x7 sqrt pi x0 Mul Mul atanh Mul x0 x0 tan x0 5 
Add Mul Mul tanh Pow tanh Mul Mul -2 asec x7 sqrt pi x0 Mul -1 sech Pow tanh Mul Mul -2 asec x7 sqrt pi x0 Mul Pow tanh Mul Mul -2 asec x7 sqrt pi Add x0 -1 Mul tanh Mul Mul -2 asec x7 sqrt pi log tanh Mul Mul -2 asec x7 sqrt pi Mul 5 Add Mul tan x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul atanh Mul x0 x0 Pow sec x0 2 