sec Pow Mul x0 Pow x0 Mul atanh Add x0 x0 Add x3 x0 cosh pi 
Mul Mul tan Pow Mul x0 Pow x0 Mul atanh Add x0 x0 Add x3 x0 cosh pi sec Pow Mul x0 Pow x0 Mul atanh Add x0 x0 Add x3 x0 cosh pi Mul Pow Mul x0 Pow x0 Mul atanh Add x0 x0 Add x3 x0 Add cosh pi -1 Mul cosh pi Add Pow x0 Mul atanh Add x0 x0 Add x3 x0 Mul x0 Mul Pow x0 Add Mul atanh Add x0 x0 Add x3 x0 -1 Add Mul atanh Add x0 x0 Add x3 x0 Mul Mul x0 log x0 Add Mul Add x3 x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 atanh Add x0 x0 