Mul acoth atanh Add x0 Add E tanh x0 tan Mul x3 pi 
Mul tan Mul x3 pi Mul Mul Add 1 Pow sech x0 2 Pow Add 1 Mul -1 Mul Add x0 Add E tanh x0 Add x0 Add E tanh x0 -1 Pow Add 1 Mul -1 Mul atanh Add x0 Add E tanh x0 atanh Add x0 Add E tanh x0 -1 