Add x4 Add Mul x3 Mul E Pow x3 acot Mul x0 x0 cosh cosh cosh Mul pi -0.964027580075817 
Mul x3 Mul E Mul Pow x3 Add acot Mul x0 x0 -1 Mul Mul x3 log x3 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 