Add Add atanh Add 3 Add Mul x0 acosh Mul pi Pow x2 x0 Mul x0 cosh x5 tanh x1 x0 
Add Mul Add Add acosh Mul pi Pow x2 x0 Mul x0 Mul Mul pi Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Mul sqrt Add Mul pi Pow x2 x0 -1 sqrt Add 1 Mul pi Pow x2 x0 -1 cosh x5 Pow Add 1 Mul -1 Mul Add 3 Add Mul x0 acosh Mul pi Pow x2 x0 Mul x0 cosh x5 Add 3 Add Mul x0 acosh Mul pi Pow x2 x0 Mul x0 cosh x5 -1 1 