Add cos x3 Add Pow x1 Mul Pow x1 asech x0 -4 x0 
Add Mul Pow x1 Add Mul Pow x1 asech x0 -4 -1 Mul Mul x1 log x1 Mul -4 Mul Pow x1 Add asech x0 -1 Mul Mul x1 log x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 