Mul x2 Mul sech x0 Mul Mul Mul Add atan x0 Mul x0 5 x0 sec Add 4 Pow Pow x0 acosh x0 Add x0 -3 E 
Mul x2 Add Mul Mul Mul Mul Add atan x0 Mul x0 5 x0 sec Add 4 Pow Pow x0 acosh x0 Add x0 -3 E Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul E Add Mul sec Add 4 Pow Pow x0 acosh x0 Add x0 -3 Add Mul x0 Add Pow Add 1 Mul x0 x0 -1 5 Add atan x0 Mul x0 5 Mul Mul Add atan x0 Mul x0 5 x0 Mul Mul tan Add 4 Pow Pow x0 acosh x0 Add x0 -3 sec Add 4 Pow Pow x0 acosh x0 Add x0 -3 Mul Pow Pow x0 acosh x0 Add Add x0 -3 -1 Add Mul Add x0 -3 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x0 acosh x0 log Pow x0 acosh x0 