Pow acot E Pow Mul atanh x0 Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 Add x0 cosh pi 
Mul Pow acot E Add Pow Mul atanh x0 Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 Add x0 cosh pi -1 Mul Mul acot E log acot E Mul Pow Mul atanh x0 Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 Add Add x0 cosh pi -1 Add Mul Add x0 cosh pi Add Mul Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Add 1 Mul tan Mul x4 -0.785398163397448 -2 Mul Mul atanh x0 Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 log Mul atanh x0 Add x0 Mul Mul x0 -2 tan Mul x4 -0.785398163397448 