Mul acot x0 Add asec x1 log Add Add x0 Mul -5 acosh Add Mul x1 x0 x3 sin Pow log E x2 
Add Mul Add asec x1 log Add Add x0 Mul -5 acosh Add Mul x1 x0 x3 sin Pow log E x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Add 1 Mul -5 Mul x1 Pow Mul sqrt Add Add Mul x1 x0 x3 -1 sqrt Add 1 Add Mul x1 x0 x3 -1 Pow Add Add x0 Mul -5 acosh Add Mul x1 x0 x3 sin Pow log E x2 -1 