Mul Add x5 Pow x0 Mul Mul atanh Add x1 x0 cosh x0 atanh Add pi -3 E 
Mul E Mul Pow x0 Add Mul Mul atanh Add x1 x0 cosh x0 atanh Add pi -3 -1 Add Mul Mul atanh Add x1 x0 cosh x0 atanh Add pi -3 Mul Mul x0 log x0 Mul atanh Add pi -3 Add Mul cosh x0 Pow Add 1 Mul -1 Mul Add x1 x0 Add x1 x0 -1 Mul atanh Add x1 x0 sinh x0 