Mul Add Pow Mul -1 cosh atan sqrt x0 Pow x0 Pow Mul pi x0 Add x0 -1 Pow x0 x1 x6 
Mul x6 Add Mul Pow Mul -1 cosh atan sqrt x0 Add Pow x0 Pow Mul pi x0 Add x0 -1 -1 Add Mul Pow x0 Pow Mul pi x0 Add x0 -1 Mul -1 Mul sinh atan sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Mul Mul Mul -1 cosh atan sqrt x0 log Mul -1 cosh atan sqrt x0 Mul Pow x0 Add Pow Mul pi x0 Add x0 -1 -1 Add Pow Mul pi x0 Add x0 -1 Mul Mul x0 log x0 Mul Pow Mul pi x0 Add Add x0 -1 -1 Add Mul Add x0 -1 pi Mul Mul pi x0 log Mul pi x0 Mul Pow x0 Add x1 -1 x1 