Add Add x0 Mul acoth x0 Pow x0 x5 Add x0 sinh Mul x0 Pow Mul Add x5 acos x0 1.15782128234958 x0 
Add Add 1 Add Mul Pow x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 Add x5 -1 x5 Add 1 Mul cosh Mul x0 Pow Mul Add x5 acos x0 1.15782128234958 x0 Add Pow Mul Add x5 acos x0 1.15782128234958 x0 Mul x0 Mul Pow Mul Add x5 acos x0 1.15782128234958 Add x0 -1 Add Mul x0 Mul 1.15782128234958 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add x5 acos x0 1.15782128234958 log Mul Add x5 acos x0 1.15782128234958 