Pow acosh Mul Add x0 log x4 x0 Mul Mul x0 sec Add x0 exp Mul x7 -4 x3 
Mul Pow acosh Mul Add x0 log x4 x0 Add Mul Mul x0 sec Add x0 exp Mul x7 -4 x3 -1 Add Mul Mul Mul x0 sec Add x0 exp Mul x7 -4 x3 Mul Add x0 Add x0 log x4 Pow Mul sqrt Add Mul Add x0 log x4 x0 -1 sqrt Add 1 Mul Add x0 log x4 x0 -1 Mul Mul acosh Mul Add x0 log x4 x0 log acosh Mul Add x0 log x4 x0 Mul x3 Add sec Add x0 exp Mul x7 -4 Mul x0 Mul tan Add x0 exp Mul x7 -4 sec Add x0 exp Mul x7 -4 