Add Add Mul x0 x0 -1 Mul acosh Add Mul -3 Add x0 sec Pow x7 x0 Add Add Add Mul x0 -3 pi 2 x0 -2 
Add Add x0 x0 Mul -2 Mul Add Mul -3 Add 1 Mul Mul tan Pow x7 x0 sec Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 2 Pow Mul sqrt Add Add Mul -3 Add x0 sec Pow x7 x0 Add Add Add Mul x0 -3 pi 2 x0 -1 sqrt Add 1 Add Mul -3 Add x0 sec Pow x7 x0 Add Add Add Mul x0 -3 pi 2 x0 -1 