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