acosh Mul Mul x0 1.57079632679490 asec Add x6 cosh x0 
Mul Add Mul asec Add x6 cosh x0 1.57079632679490 Mul Mul x0 1.57079632679490 Mul sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x6 cosh x0 Add x6 cosh x0 -1 Add x6 cosh x0 Add x6 cosh x0 -1 Pow Mul sqrt Add Mul Mul x0 1.57079632679490 asec Add x6 cosh x0 -1 sqrt Add 1 Mul Mul x0 1.57079632679490 asec Add x6 cosh x0 -1 