Pow Add cosh Pow Pow 4 asech pi Pow Mul 4 exp x0 Add sinh x0 -4 Pow x0 -1 x1 
Mul Pow Add cosh Pow Pow 4 asech pi Pow Mul 4 exp x0 Add sinh x0 -4 Pow x0 -1 Add x1 -1 Mul x1 Add Mul sinh Pow Pow 4 asech pi Pow Mul 4 exp x0 Add sinh x0 -4 Mul Pow Pow 4 asech pi Add Pow Mul 4 exp x0 Add sinh x0 -4 -1 Mul Mul Pow 4 asech pi log Pow 4 asech pi Mul Pow Mul 4 exp x0 Add Add sinh x0 -4 -1 Add Mul Add sinh x0 -4 Mul 4 exp x0 Mul Mul Mul 4 exp x0 log Mul 4 exp x0 cosh x0 Mul Pow x0 2 -1 