Add Pow x0 Mul -2 Add 4 Mul acosh x3 Add Mul Mul -2 x0 Pow x0 -2 Mul 0.999909204262595 x5 Pow x0 x5 
Add Mul Pow x0 Add Mul -2 Add 4 Mul acosh x3 Add Mul Mul -2 x0 Pow x0 -2 Mul 0.999909204262595 x5 -1 Add Mul -2 Add 4 Mul acosh x3 Add Mul Mul -2 x0 Pow x0 -2 Mul 0.999909204262595 x5 Mul Mul x0 log x0 Mul -2 Mul acosh x3 Add Mul Pow x0 -2 -2 Mul Mul -2 x0 Mul Pow x0 3 -2 Mul Pow x0 Add x5 -1 x5 