Add Add Mul Mul x0 Add Mul -4 x0 atanh x0 E log Pow sin Mul x0 log sec x5 x0 pi 
Add Mul E Add Add Mul -4 x0 atanh x0 Mul x0 Add -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sin Mul x0 log sec x5 Add x0 -1 Add Mul x0 Mul cos Mul x0 log sec x5 log sec x5 Mul sin Mul x0 log sec x5 log sin Mul x0 log sec x5 Pow Pow sin Mul x0 log sec x5 x0 -1 