Add x0 Pow tan acosh Mul x3 x0 0.265802228834080 
Add 1 Mul Pow tan acosh Mul x3 x0 -0.734197771165920 Mul 0.265802228834080 Mul Pow sec acosh Mul x3 x0 2 Mul x3 Pow Mul sqrt Add Mul x3 x0 -1 sqrt Add 1 Mul x3 x0 -1 