Add sec Add x0 x2 Mul Mul -4 Add x5 Add acosh x0 pi Mul x0 x7 
Add Mul tan Add x0 x2 sec Add x0 x2 Add Mul Mul x0 x7 Mul -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul -4 Add x5 Add acosh x0 pi x7 