Pow Mul 4 Pow asech x0 Add Add Add -2 x0 x0 Pow Add sqrt x0 E Mul acosh Pow 3 E x2 -3 
Mul Pow Mul 4 Pow asech x0 Add Add Add -2 x0 x0 Pow Add sqrt x0 E Mul acosh Pow 3 E x2 4 Mul -3 Mul 4 Mul Pow asech x0 Add Add Add Add -2 x0 x0 Pow Add sqrt x0 E Mul acosh Pow 3 E x2 -1 Add Mul Add Add Add -2 x0 x0 Pow Add sqrt x0 E Mul acosh Pow 3 E x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 log asech x0 Add 2 Mul Pow Add sqrt x0 E Add Mul acosh Pow 3 E x2 -1 Mul Mul acosh Pow 3 E x2 Pow Mul 2 sqrt x0 -1 