Pow x0 Pow Add Mul acosh Mul x0 x2 x0 x0 Add x0 Add x0 Add Add -2 x0 0.523598775598299 
Mul Pow x0 Add Pow Add Mul acosh Mul x0 x2 x0 x0 Add x0 Add x0 Add Add -2 x0 0.523598775598299 -1 Add Pow Add Mul acosh Mul x0 x2 x0 x0 Add x0 Add x0 Add Add -2 x0 0.523598775598299 Mul Mul x0 log x0 Mul Pow Add Mul acosh Mul x0 x2 x0 x0 Add Add x0 Add x0 Add Add -2 x0 0.523598775598299 -1 Add Mul Add x0 Add x0 Add Add -2 x0 0.523598775598299 Add Add Mul x0 Mul x2 Pow Mul sqrt Add Mul x0 x2 -1 sqrt Add 1 Mul x0 x2 -1 acosh Mul x0 x2 1 Mul Mul Add Mul acosh Mul x0 x2 x0 x0 log Add Mul acosh Mul x0 x2 x0 x0 3 