Pow x0 Add 4 Pow Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 x0 
Mul Pow x0 Add Add 4 Pow Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 x0 -1 Add Add 4 Pow Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 x0 Mul Mul x0 log x0 Mul Pow Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 Add x0 -1 Add Mul x0 Mul Pow Mul x0 exp Pow x0 -2 Add Mul acosh x7 0.850918128239322 -1 Mul Mul acosh x7 0.850918128239322 Add exp Pow x0 -2 Mul x0 Mul exp Pow x0 -2 Mul Pow x0 3 -2 Mul Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 log Pow Mul x0 exp Pow x0 -2 Mul acosh x7 0.850918128239322 