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