Mul x0 Add Add sin Pow Add 2 Pow Mul Add pi acosh x0 Mul E x2 x0 -2 x0 Mul x0 x0 
Add Add Add sin Pow Add 2 Pow Mul Add pi acosh x0 Mul E x2 x0 -2 x0 Mul x0 x0 Mul x0 Add Add Mul cos Pow Add 2 Pow Mul Add pi acosh x0 Mul E x2 x0 -2 Mul Pow Add 2 Pow Mul Add pi acosh x0 Mul E x2 x0 3 Mul -2 Mul Pow Mul Add pi acosh x0 Mul E x2 Add x0 -1 Add Mul x0 Mul Mul E x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add pi acosh x0 Mul E x2 log Mul Add pi acosh x0 Mul E x2 1 Add x0 x0 