Pow Pow x0 acos Add x4 x0 sinh Mul x3 Pow x0 sec x2 
Mul Pow Pow x0 acos Add x4 x0 Add sinh Mul x3 Pow x0 sec x2 -1 Add Mul sinh Mul x3 Pow x0 sec x2 Mul Pow x0 Add acos Add x4 x0 -1 Add acos Add x4 x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x4 x0 Add x4 x0 -1 Mul Mul Pow x0 acos Add x4 x0 log Pow x0 acos Add x4 x0 Mul cosh Mul x3 Pow x0 sec x2 Mul x3 Mul Pow x0 Add sec x2 -1 sec x2 