log Mul Pow x1 tan Add Mul x0 Add x1 x0 1 tan coth Add Mul 2 x0 sinh Add x6 -1 
Mul Add Mul tan coth Add Mul 2 x0 sinh Add x6 -1 Mul Pow x1 Add tan Add Mul x0 Add x1 x0 1 -1 Mul Mul x1 log x1 Mul Pow sec Add Mul x0 Add x1 x0 1 2 Add Add x1 x0 x0 Mul Pow x1 tan Add Mul x0 Add x1 x0 1 Mul Pow sec coth Add Mul 2 x0 sinh Add x6 -1 2 Mul Mul -1 Pow csch Add Mul 2 x0 sinh Add x6 -1 2 2 Pow Mul Pow x1 tan Add Mul x0 Add x1 x0 1 tan coth Add Mul 2 x0 sinh Add x6 -1 -1 