Add atanh Mul Pow Mul Add Pow x0 cosh pi x0 x0 x0 x2 x0 
Add Mul Mul x2 Mul Pow Mul Add Pow x0 cosh pi x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Add Mul Pow x0 Add cosh pi -1 cosh pi 1 Add Pow x0 cosh pi x0 Mul Mul Add Pow x0 cosh pi x0 x0 log Mul Add Pow x0 cosh pi x0 x0 Pow Add 1 Mul -1 Mul Mul Pow Mul Add Pow x0 cosh pi x0 x0 x0 x2 Mul Pow Mul Add Pow x0 cosh pi x0 x0 x0 x2 -1 1 