Mul Add x0 Pow 3 Add x0 Pow x0 Mul Add Add x0 1.76274717403909 asech acosh Pow 2 acosh x0 1.04283521277141 x6 
Mul x6 Add 1 Mul Pow 3 Add Add x0 Pow x0 Mul Add Add x0 1.76274717403909 asech acosh Pow 2 acosh x0 1.04283521277141 -1 Mul 4.09861228866811 Add 1 Mul Pow x0 Add Mul Add Add x0 1.76274717403909 asech acosh Pow 2 acosh x0 1.04283521277141 -1 Add Mul Add Add x0 1.76274717403909 asech acosh Pow 2 acosh x0 1.04283521277141 Mul Mul x0 log x0 Mul 1.04283521277141 Add 1 Mul Mul Mul Pow 2 Add acosh x0 -1 Mul 2.69314718055995 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Pow 2 acosh x0 -1 sqrt Add 1 Pow 2 acosh x0 -1 Pow Mul Mul acosh Pow 2 acosh x0 acosh Pow 2 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh Pow 2 acosh x0 acosh Pow 2 acosh x0 -1 -1 