Add -2 Pow Pow exp x0 Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 Add x1 Add x0 x4 
Mul Pow Pow exp x0 Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 Add Add x1 Add x0 x4 -1 Add Mul Add x1 Add x0 x4 Mul Pow exp x0 Add Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 -1 Add Mul Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 exp x0 Mul Mul exp x0 log exp x0 Add Mul Mul pi Add x7 Mul x4 acosh x0 Mul Mul tan atan x0 sec atan x0 Pow Add 1 Mul x0 x0 -1 Mul sec atan x0 Mul pi Mul x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow exp x0 Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 log Pow exp x0 Mul sec atan x0 Mul pi Add x7 Mul x4 acosh x0 