Mul Pow cosh Mul x3 x6 Mul acot Pow x6 x0 -5 Add 0.463647609000806 x4 
Mul Add 0.463647609000806 x4 Mul Pow cosh Mul x3 x6 Add Mul acot Pow x6 x0 -5 -1 Mul Mul cosh Mul x3 x6 log cosh Mul x3 x6 Mul -5 Mul -1 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul Pow x6 x0 Pow x6 x0 -1 