Add -0.0366271824601634 Pow Pow x0 0.664324919973348 Mul log x3 log sqrt asech Add acosh x0 x0 
Mul Pow Pow x0 0.664324919973348 Add Mul log x3 log sqrt asech Add acosh x0 x0 -1 Add Mul Mul log x3 log sqrt asech Add acosh x0 x0 Mul Pow x0 -0.335675080026652 0.664324919973348 Mul Mul Pow x0 0.664324919973348 log Pow x0 0.664324919973348 Mul log x3 Mul Mul Pow Mul 2 sqrt asech Add acosh x0 x0 -1 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Mul Mul Add acosh x0 x0 Add acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Add acosh x0 x0 Add acosh x0 x0 -1 -1 Pow sqrt asech Add acosh x0 x0 -1 