Mul 2 Pow x0 Pow Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 Mul Mul Mul -4 x0 -4 0.785398163397448 
Mul 2 Mul Pow x0 Add Pow Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 Mul Mul Mul -4 x0 -4 0.785398163397448 -1 Add Pow Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 Mul Mul Mul -4 x0 -4 0.785398163397448 Mul Mul x0 log x0 Mul Pow Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 Add Mul Mul Mul -4 x0 -4 0.785398163397448 -1 Add Mul Mul Mul Mul -4 x0 -4 0.785398163397448 Mul Pow Pow x6 sinh Add x0 x0 Add acoth Add exp Mul 4 E x1 -1 Mul acoth Add exp Mul 4 E x1 Mul Pow x6 Add sinh Add x0 x0 -1 Mul Mul x6 log x6 Mul cosh Add x0 x0 2 Mul Mul Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 log Pow Pow x6 sinh Add x0 x0 acoth Add exp Mul 4 E x1 8.78539816339745 