Pow sec Add sech acosh x0 Add E exp Mul x0 -4 -1 
Mul Pow sec Add sech acosh x0 Add E exp Mul x0 -4 2 Mul -1 Mul Mul tan Add sech acosh x0 Add E exp Mul x0 -4 sec Add sech acosh x0 Add E exp Mul x0 -4 Add Mul Mul tanh acosh x0 Mul -1 sech acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul exp Mul x0 -4 -4 