Pow Mul Pow acosh x0 Add Mul x7 x0 Pow Mul x0 x0 0.648054273663885 x4 x3 
Mul Pow Mul Pow acosh x0 Add Mul x7 x0 Pow Mul x0 x0 0.648054273663885 x4 Add x3 -1 Mul x3 Mul x4 Mul Pow acosh x0 Add Add Mul x7 x0 Pow Mul x0 x0 0.648054273663885 -1 Add Mul Add Mul x7 x0 Pow Mul x0 x0 0.648054273663885 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Add x7 Mul Pow Mul x0 x0 -0.351945726336115 Mul 0.648054273663885 Add x0 x0 