acos Pow x1 Mul sech sinh asech x4 x0 
Mul -1 Mul Mul Pow x1 Add Mul sech sinh asech x4 x0 -1 Mul Mul x1 log x1 sech sinh asech x4 Pow sqrt Add 1 Mul -1 Mul Pow x1 Mul sech sinh asech x4 x0 Pow x1 Mul sech sinh asech x4 x0 -1 