Mul Mul Add -3 log Add exp acosh exp Mul x0 Pow x3 x3 x2 x0 pi 
Mul pi Add Mul x0 Mul Mul exp acosh exp Mul x0 Pow x3 x3 Mul Mul exp Mul x0 Pow x3 x3 Pow x3 x3 Pow Mul sqrt Add exp Mul x0 Pow x3 x3 -1 sqrt Add 1 exp Mul x0 Pow x3 x3 -1 Pow Add exp acosh exp Mul x0 Pow x3 x3 x2 -1 Add -3 log Add exp acosh exp Mul x0 Pow x3 x3 x2 