Pow Mul x0 Add acot x2 Mul x0 5 cosh x0 
Mul Pow Mul x0 Add acot x2 Mul x0 5 Add cosh x0 -1 Add Mul cosh x0 Add Add acot x2 Mul x0 5 Mul x0 5 Mul Mul Mul x0 Add acot x2 Mul x0 5 log Mul x0 Add acot x2 Mul x0 5 sinh x0 