Mul Mul x0 Add Add x0 Mul Mul Mul x7 x0 Add x0 Mul x0 x0 x0 Add 1 atan x7 acosh Pow sech pi x1 
Mul acosh Pow sech pi x1 Add Add Add x0 Mul Mul Mul x7 x0 Add x0 Mul x0 x0 x0 Add 1 atan x7 Mul x0 Add 1 Add Mul x0 Add Mul Add x0 Mul x0 x0 x7 Mul Mul x7 x0 Add 1 Add x0 x0 Mul Mul x7 x0 Add x0 Mul x0 x0 