Add Mul Pow Add exp Add 1 x0 x0 Mul acosh x0 x0 Add x0 pi sech Pow sec Mul x0 -3 x0 
Add Add Mul Add x0 pi Mul Pow Add exp Add 1 x0 x0 Add Mul acosh x0 x0 -1 Add Mul Mul acosh x0 x0 Add exp Add 1 x0 1 Mul Mul Add exp Add 1 x0 x0 log Add exp Add 1 x0 x0 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Pow Add exp Add 1 x0 x0 Mul acosh x0 x0 Mul Mul tanh Pow sec Mul x0 -3 x0 Mul -1 sech Pow sec Mul x0 -3 x0 Mul Pow sec Mul x0 -3 Add x0 -1 Add Mul x0 Mul Mul tan Mul x0 -3 sec Mul x0 -3 -3 Mul sec Mul x0 -3 log sec Mul x0 -3 