Mul x0 sinh Pow Pow tanh x6 Add Mul x0 Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul Pow 3 x0 x0 -3 
Add sinh Pow Pow tanh x6 Add Mul x0 Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul Pow 3 x0 x0 -3 Mul x0 Mul cosh Pow Pow tanh x6 Add Mul x0 Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul Pow 3 x0 x0 -3 Mul Pow Pow tanh x6 Add Mul x0 Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul Pow 3 x0 x0 4 Mul -3 Mul Pow tanh x6 Add Add Mul x0 Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul Pow 3 x0 x0 -1 Mul Mul tanh x6 log tanh x6 Add Add Pow 3 exp Add Pow acoth Mul x0 4 x0 x0 Mul x0 Mul Pow 3 Add exp Add Pow acoth Mul x0 4 x0 x0 -1 Mul 4.09861228866811 Mul exp Add Pow acoth Mul x0 4 x0 x0 Add Mul Pow acoth Mul x0 4 Add x0 -1 Add Mul x0 Mul 4 Pow Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Mul acoth Mul x0 4 log acoth Mul x0 4 1 Add Mul x0 Mul Pow 3 Add x0 -1 4.09861228866811 Pow 3 x0 