Pow acosh sec Add E x0 Mul x0 Pow x7 Add x0 x6 
Mul Pow acosh sec Add E x0 Add Mul x0 Pow x7 Add x0 x6 -1 Add Mul Mul x0 Pow x7 Add x0 x6 Mul Mul tan Add E x0 sec Add E x0 Pow Mul sqrt Add sec Add E x0 -1 sqrt Add 1 sec Add E x0 -1 Mul Mul acosh sec Add E x0 log acosh sec Add E x0 Add Pow x7 Add x0 x6 Mul x0 Mul Pow x7 Add Add x0 x6 -1 Mul x7 log x7 