Pow Add Add Mul Mul x0 exp Mul x0 Mul x0 acosh x7 x0 x6 -4 pi 
Mul Pow Add Add Mul Mul x0 exp Mul x0 Mul x0 acosh x7 x0 x6 -4 Add pi -1 Mul pi Add Mul x0 Add exp Mul x0 Mul x0 acosh x7 Mul x0 Mul exp Mul x0 Mul x0 acosh x7 Add Mul x0 acosh x7 Mul x0 acosh x7 Mul x0 exp Mul x0 Mul x0 acosh x7 