Pow Pow acosh sech Mul x0 x2 2 x0 
Mul Pow Pow acosh sech Mul x0 x2 2 Add x0 -1 Add Mul x0 Mul acosh sech Mul x0 x2 Mul 2 Mul Mul Mul tanh Mul x0 x2 Mul -1 sech Mul x0 x2 x2 Pow Mul sqrt Add sech Mul x0 x2 -1 sqrt Add 1 sech Mul x0 x2 -1 Mul Pow acosh sech Mul x0 x2 2 log Pow acosh sech Mul x0 x2 2 