Mul x0 Mul sec asech log x0 x0 
Add Mul sec asech log x0 x0 Mul x0 Add Mul x0 Mul Mul tan asech log x0 sec asech log x0 Mul Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 sec asech log x0 