Mul Mul Pow Add x5 Pow x2 x0 x0 2.18503986326152 asech Pow acosh x0 0.135335283236613 
Add Mul asech Pow acosh x0 0.135335283236613 Mul 2.18503986326152 Mul Pow Add x5 Pow x2 x0 Add x0 -1 Add Mul x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Add x5 Pow x2 x0 log Add x5 Pow x2 x0 Mul Mul Pow Add x5 Pow x2 x0 x0 2.18503986326152 Mul Mul Pow acosh x0 -0.864664716763387 Mul 0.135335283236613 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Pow acosh x0 0.135335283236613 Pow acosh x0 0.135335283236613 sqrt Add 1 Mul -1 Pow Mul Pow acosh x0 0.135335283236613 Pow acosh x0 0.135335283236613 -1 -1 