Mul x1 Pow Mul Mul -1 atan Add 1 x0 Add acosh Mul Pow Pow 3 x0 Add x0 x0 x4 x3 acosh x2 
Mul x1 Mul Pow Mul Mul -1 atan Add 1 x0 Add acosh Mul Pow Pow 3 x0 Add x0 x0 x4 x3 Add acosh x2 -1 Mul acosh x2 Add Mul Add acosh Mul Pow Pow 3 x0 Add x0 x0 x4 x3 Mul -1 Pow Add 1 Mul Add 1 x0 Add 1 x0 -1 Mul Mul -1 atan Add 1 x0 Mul Mul x4 Mul Pow Pow 3 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow 3 Add x0 -1 4.09861228866811 Mul Mul Pow 3 x0 log Pow 3 x0 2 Pow Mul sqrt Add Mul Pow Pow 3 x0 Add x0 x0 x4 -1 sqrt Add 1 Mul Pow Pow 3 x0 Add x0 x0 x4 -1 