log Pow x1 Mul Mul x0 Mul -2 cosh x0 x0 
Mul Mul Pow x1 Add Mul Mul x0 Mul -2 cosh x0 x0 -1 Mul Mul x1 log x1 Add Mul x0 Add Mul -2 cosh x0 Mul x0 Mul -2 sinh x0 Mul x0 Mul -2 cosh x0 Pow Pow x1 Mul Mul x0 Mul -2 cosh x0 x0 -1 