Mul x0 Add Add x0 -5 Add Pow Mul asec x0 2.09471254726110 Pow acosh x4 Pow acoth Add x0 x7 x0 -5 
Add Add Add x0 -5 Add Pow Mul asec x0 2.09471254726110 Pow acosh x4 Pow acoth Add x0 x7 x0 -5 Mul x0 Add 1 Mul Pow Mul asec x0 2.09471254726110 Add Pow acosh x4 Pow acoth Add x0 x7 x0 -1 Add Mul Pow acosh x4 Pow acoth Add x0 x7 x0 Mul 2.09471254726110 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Mul asec x0 2.09471254726110 log Mul asec x0 2.09471254726110 Mul Pow acosh x4 Add Pow acoth Add x0 x7 x0 -1 Mul Mul acosh x4 log acosh x4 Mul Pow acoth Add x0 x7 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 x7 Add x0 x7 -1 Mul acoth Add x0 x7 log acoth Add x0 x7 