Pow x0 tan acosh Pow Mul tanh x7 x0 x1 
Mul Pow x0 Add tan acosh Pow Mul tanh x7 x0 x1 -1 Add tan acosh Pow Mul tanh x7 x0 x1 Mul Mul x0 log x0 Mul Pow sec acosh Pow Mul tanh x7 x0 x1 2 Mul Mul Pow Mul tanh x7 x0 Add x1 -1 Mul x1 tanh x7 Pow Mul sqrt Add Pow Mul tanh x7 x0 x1 -1 sqrt Add 1 Pow Mul tanh x7 x0 x1 -1 