Add Add tan exp x0 Add Add Pow Mul 4 Add atanh x0 pi Mul x0 x1 Pow x0 -2 Mul x0 -5 x7 
Add Mul Pow sec exp x0 2 exp x0 Add Add Mul Pow Mul 4 Add atanh x0 pi Add Mul x0 x1 -1 Add Mul Mul x0 x1 Mul 4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul 4 Add atanh x0 pi log Mul 4 Add atanh x0 pi x1 Mul Pow x0 3 -2 -5 