Mul x0 log Pow Pow sec acosh x0 x0 1.09861228866811 
Add log Pow Pow sec acosh x0 x0 1.09861228866811 Mul x0 Mul Mul Pow Pow sec acosh x0 x0 0.0986122886681098 Mul 1.09861228866811 Mul Pow sec acosh x0 Add x0 -1 Add Mul x0 Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sec acosh x0 log sec acosh x0 Pow Pow Pow sec acosh x0 x0 1.09861228866811 -1 