Mul Mul x0 Mul x0 Add Pow tanh x4 x0 4 Add Pow x0 cot atanh x5 acsch E 
Add Mul Add Pow x0 cot atanh x5 acsch E Add Mul x0 Add Pow tanh x4 x0 4 Mul x0 Add Add Pow tanh x4 x0 4 Mul x0 Mul Pow tanh x4 Add x0 -1 Mul tanh x4 log tanh x4 Mul Mul x0 Mul x0 Add Pow tanh x4 x0 4 Mul Pow x0 Add cot atanh x5 -1 cot atanh x5 