Pow x0 Add Mul x0 Pow Pow acosh x3 x0 -7.01525255143453 0.881373587019543 
Mul Pow x0 Add Add Mul x0 Pow Pow acosh x3 x0 -7.01525255143453 0.881373587019543 -1 Add Add Mul x0 Pow Pow acosh x3 x0 -7.01525255143453 0.881373587019543 Mul Mul x0 log x0 Add Pow Pow acosh x3 x0 -7.01525255143453 Mul x0 Mul Pow Pow acosh x3 x0 -8.01525255143453 Mul -7.01525255143453 Mul Pow acosh x3 Add x0 -1 Mul acosh x3 log acosh x3 