Mul x0 sin log log Mul x3 csch Mul -2 Add asec sec x2 x0 
Add sin log log Mul x3 csch Mul -2 Add asec sec x2 x0 Mul x0 Mul cos log log Mul x3 csch Mul -2 Add asec sec x2 x0 Mul Mul Mul x3 Mul Mul Mul -1 coth Mul -2 Add asec sec x2 x0 csch Mul -2 Add asec sec x2 x0 -2 Pow Mul x3 csch Mul -2 Add asec sec x2 x0 -1 Pow log Mul x3 csch Mul -2 Add asec sec x2 x0 -1 