Add Pow cosh Mul Mul Add -4 Mul x0 4 Pow acoth x5 x0 0.785398163397448 x0 x0 
Add Mul Pow cosh Mul Mul Add -4 Mul x0 4 Pow acoth x5 x0 0.785398163397448 Add x0 -1 Add Mul x0 Mul sinh Mul Mul Add -4 Mul x0 4 Pow acoth x5 x0 0.785398163397448 Mul 0.785398163397448 Add Mul Pow acoth x5 x0 4 Mul Add -4 Mul x0 4 Mul Pow acoth x5 Add x0 -1 Mul acoth x5 log acoth x5 Mul cosh Mul Mul Add -4 Mul x0 4 Pow acoth x5 x0 0.785398163397448 log cosh Mul Mul Add -4 Mul x0 4 Pow acoth x5 x0 0.785398163397448 1 