Pow Mul pi Mul sqrt Mul sec Add x0 x0 sinh x1 Add Add x0 acos x0 x0 log log x6 
Mul Pow Mul pi Mul sqrt Mul sec Add x0 x0 sinh x1 Add Add x0 acos x0 x0 Add log log x6 -1 Mul log log x6 Mul pi Add Mul Add Add x0 acos x0 x0 Mul Pow Mul 2 sqrt Mul sec Add x0 x0 sinh x1 -1 Mul sinh x1 Mul Mul tan Add x0 x0 sec Add x0 x0 2 Mul sqrt Mul sec Add x0 x0 sinh x1 Add Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 