acos Pow x4 sech Mul x0 x4 
Mul -1 Mul Mul Pow x4 Add sech Mul x0 x4 -1 Mul Mul x4 log x4 Mul Mul tanh Mul x0 x4 Mul -1 sech Mul x0 x4 x4 Pow sqrt Add 1 Mul -1 Mul Pow x4 sech Mul x0 x4 Pow x4 sech Mul x0 x4 -1 