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