Add cot tanh Pow acsch Add 1 x7 x0 0.250000000000000 
Mul Mul -1 Pow csc tanh Pow acsch Add 1 x7 x0 2 Mul Pow sech Pow acsch Add 1 x7 x0 2 Mul Pow acsch Add 1 x7 Add x0 -1 Mul acsch Add 1 x7 log acsch Add 1 x7 