Mul x4 Mul Pow Add Pow x2 Mul exp E pi x0 Add Pow x3 acosh atanh x7 2 x0 
Mul x4 Add Mul x0 Mul Pow Add Pow x2 Mul exp E pi x0 Add Add Pow x3 acosh atanh x7 2 -1 Add Pow x3 acosh atanh x7 2 Pow Add Pow x2 Mul exp E pi x0 Add Pow x3 acosh atanh x7 2 