Mul sec Mul x0 pi Add Pow Add Add x0 x0 Mul x0 x4 Add sin Pow atanh x7 x0 Mul Pow x1 4 x0 Mul x0 2 
Add Mul Add Pow Add Add x0 x0 Mul x0 x4 Add sin Pow atanh x7 x0 Mul Pow x1 4 x0 Mul x0 2 Mul Mul tan Mul x0 pi sec Mul x0 pi pi Mul sec Mul x0 pi Add Mul Pow Add Add x0 x0 Mul x0 x4 Add Add sin Pow atanh x7 x0 Mul Pow x1 4 x0 -1 Add Mul Add sin Pow atanh x7 x0 Mul Pow x1 4 x0 Add 2 x4 Mul Mul Add Add x0 x0 Mul x0 x4 log Add Add x0 x0 Mul x0 x4 Add Mul cos Pow atanh x7 x0 Mul Pow atanh x7 Add x0 -1 Mul atanh x7 log atanh x7 Pow x1 4 2 