tan Pow Add Add acoth atanh E x0 x6 x0 
Mul Pow sec Pow Add Add acoth atanh E x0 x6 x0 2 Mul Pow Add Add acoth atanh E x0 x6 Add x0 -1 Add x0 Mul Add Add acoth atanh E x0 x6 log Add Add acoth atanh E x0 x6 