Mul x0 Mul Mul Pow sech Mul Add Add x0 E x0 acosh x0 Mul -1 pi -1 x7 
Add Mul Mul Pow sech Mul Add Add x0 E x0 acosh x0 Mul -1 pi -1 x7 Mul x0 Mul x7 Mul -1 Mul Pow sech Mul Add Add x0 E x0 acosh x0 Add Mul -1 pi -1 Mul Mul -1 pi Mul Mul tanh Mul Add Add x0 E x0 acosh x0 Mul -1 sech Mul Add Add x0 E x0 acosh x0 Add Mul acosh x0 2 Mul Add Add x0 E x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 