Mul 4 Add Pow Mul acosh acosh x2 Mul x3 Add x0 x0 x0 Mul Mul 3.76219569108363 x0 acos Pow x6 3 
Mul 4 Add Mul Pow Mul acosh acosh x2 Mul x3 Add x0 x0 Add x0 -1 Add Mul x0 Mul acosh acosh x2 Mul x3 2 Mul Mul acosh acosh x2 Mul x3 Add x0 x0 log Mul acosh acosh x2 Mul x3 Add x0 x0 Mul acos Pow x6 3 3.76219569108363 