Mul Pow x0 tan E sqrt log Mul Pow asech acoth tanh pi x0 -5 
Add Mul sqrt log Mul Pow asech acoth tanh pi x0 -5 Mul Pow x0 Add tan E -1 tan E Mul Pow x0 tan E Mul Pow Mul 2 sqrt log Mul Pow asech acoth tanh pi x0 -5 -1 Mul Mul -5 Mul Pow asech acoth tanh pi Add x0 -1 Mul asech acoth tanh pi log asech acoth tanh pi Pow Mul Pow asech acoth tanh pi x0 -5 -1 