exp Mul Add sinh sqrt asech x0 x0 x0 
Mul exp Mul Add sinh sqrt asech x0 x0 x0 Add Mul x0 Add Mul cosh sqrt asech x0 Mul Pow Mul 2 sqrt asech x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Add sinh sqrt asech x0 x0 