tan Add sech Mul x0 Mul x0 acoth log Add x3 pi x0 
Mul Pow sec Add sech Mul x0 Mul x0 acoth log Add x3 pi x0 2 Add Mul Mul tanh Mul x0 Mul x0 acoth log Add x3 pi Mul -1 sech Mul x0 Mul x0 acoth log Add x3 pi Add Mul x0 acoth log Add x3 pi Mul x0 acoth log Add x3 pi 1 