Pow Pow Mul Add x7 x0 Mul x0 acosh x3 pi Mul x0 E 
Mul Pow Pow Mul Add x7 x0 Mul x0 acosh x3 pi Add Mul x0 E -1 Add Mul Mul x0 E Mul Pow Mul Add x7 x0 Mul x0 acosh x3 Add pi -1 Mul pi Add Mul x0 acosh x3 Mul Add x7 x0 acosh x3 Mul Mul Pow Mul Add x7 x0 Mul x0 acosh x3 pi log Pow Mul Add x7 x0 Mul x0 acosh x3 pi E 