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