Mul Add cosh Pow 0.785398163397448 Mul acosh x0 x0 x0 3 
Mul 3 Add Mul sinh Pow 0.785398163397448 Mul acosh x0 x0 Mul Pow 0.785398163397448 Add Mul acosh x0 x0 -1 Mul 0.543833688126958 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 1 