Mul x5 Mul -2 tan acosh Pow x0 0.761594155955765 
Mul x5 Mul -2 Mul Pow sec acosh Pow x0 0.761594155955765 2 Mul Mul Pow x0 -0.238405844044235 0.761594155955765 Pow Mul sqrt Add Pow x0 0.761594155955765 -1 sqrt Add 1 Pow x0 0.761594155955765 -1 