Pow x0 Mul Mul x0 x4 Pow Mul Add Mul x0 Mul pi Mul Mul x0 0.999987711650796 x0 1 acosh x4 -2 
Mul Pow x0 Add Mul Mul x0 x4 Pow Mul Add Mul x0 Mul pi Mul Mul x0 0.999987711650796 x0 1 acosh x4 -2 -1 Add Mul Mul x0 x4 Pow Mul Add Mul x0 Mul pi Mul Mul x0 0.999987711650796 x0 1 acosh x4 -2 Mul Mul x0 log x0 Add Mul Pow Mul Add Mul x0 Mul pi Mul Mul x0 0.999987711650796 x0 1 acosh x4 -2 x4 Mul Mul x0 x4 Mul Pow Mul Add Mul x0 Mul pi Mul Mul x0 0.999987711650796 x0 1 acosh x4 3 Mul -2 Mul acosh x4 Add Mul pi Mul Mul x0 0.999987711650796 x0 Mul x0 Mul pi Add Mul x0 0.999987711650796 Mul x0 0.999987711650796 