Add Pow asech Mul x0 2 E sec Pow Add acosh asec pi Add atanh Add x5 -3 1 Add x0 x3 
Add Mul Pow asech Mul x0 2 Add E -1 Mul E Mul 2 Pow Mul Mul Mul x0 2 Mul x0 2 sqrt Add 1 Mul -1 Pow Mul Mul x0 2 Mul x0 2 -1 -1 Mul Mul tan Pow Add acosh asec pi Add atanh Add x5 -3 1 Add x0 x3 sec Pow Add acosh asec pi Add atanh Add x5 -3 1 Add x0 x3 Mul Pow Add acosh asec pi Add atanh Add x5 -3 1 Add Add x0 x3 -1 Mul Add acosh asec pi Add atanh Add x5 -3 1 log Add acosh asec pi Add atanh Add x5 -3 1 