Add Mul Add x0 x0 Add Pow x0 acosh x5 Mul Pow Add tan atanh Mul pi x0 log x0 x5 x6 x0 
Add Add Mul Add Pow x0 acosh x5 Mul Pow Add tan atanh Mul pi x0 log x0 x5 x6 2 Mul Add x0 x0 Add Mul Pow x0 Add acosh x5 -1 acosh x5 Mul x6 Mul Pow Add tan atanh Mul pi x0 log x0 Add x5 -1 Mul x5 Add Mul Pow sec atanh Mul pi x0 2 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow x0 -1 1 