Add Mul x7 Pow tanh sinh Mul x0 x0 Mul Mul Add x0 Pow x0 x0 x0 acsch x6 1.57079632679490 
Mul x7 Mul Pow tanh sinh Mul x0 x0 Add Mul Mul Add x0 Pow x0 x0 x0 acsch x6 -1 Add Mul Mul Mul Add x0 Pow x0 x0 x0 acsch x6 Mul Pow sech sinh Mul x0 x0 2 Mul cosh Mul x0 x0 Add x0 x0 Mul Mul tanh sinh Mul x0 x0 log tanh sinh Mul x0 x0 Mul acsch x6 Add Mul x0 Add 1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add x0 Pow x0 x0 