Pow x0 Add Pow csch x3 Add x0 sec x3 x0 
Mul Pow x0 Add Add Pow csch x3 Add x0 sec x3 x0 -1 Add Add Pow csch x3 Add x0 sec x3 x0 Mul Mul x0 log x0 Add Mul Pow csch x3 Add Add x0 sec x3 -1 Mul csch x3 log csch x3 1 